Logica – Declarative logic programming language for data

Re:Logica – Declarative logic programming language for data by joe_the_user on Saturday November 16, 2024 @05:46PM (#42160103)

The flip side of that is SQL makes hard things nearly impossible.

What about SQL syntax makes the hard things possible? I get that the actual language SQL is broken in all sorts of ways. But I don't see any reason to replace it with some opaque from get-go.

I mean, what stops you from defining, say adjectives and using those for rough modularity.

Say

    EXPENSIVE(T) means T.price > 0;
    Select name FROM books WHERE EXPENSIVE(books);

Seems understandable.

[ Parent | on HN ]

Re:Logica – Declarative logic programming language for data by geocar on Sunday November 17, 2024 @01:51AM (#42162433)

Isn't that just WITH?

    WITH expensive AS (SELECT * FROM books WHERE price > 100)
    SELECT name FROM expensive

[ Parent | on HN ]

Re:Logica – Declarative logic programming language for data by jyounker on Wednesday November 20, 2024 @05:02PM (#42198564)

Yes, you can extend the language with more syntax. This kind of proves my point.

If there weren't deficiencies then you wouldn't need to define more syntax, and so many work-arounds wouldn't have already been created. The deficiencies in SQL are why each big SQL database ends up creating some procedural-SQL language for use in stored procedures and triggers.

CTEs are close to what you outline above, but even then (as far as I know) you can't name that CTE and use it across multiple statements.

[ Parent | on HN ]