Implementing functional databases

The paper is focused on a functional querying in graph databases. We consider labelled property graph model and mention also the graph model behind XML databases. An attention is devoted to functional modelling of graph databases both at a conceptual ...

Functional programming systems, although they have nice theoretical properties and elegant implementations, have failed to make any significant impact in the practical world of applications programming. We shall describe a simple FP system for databases ...

We extend Fagin's result on the equivalence between functional dependencies in relational databases and propositional Horn clauses. It is shown that this equivalence still holds for functional dependencies in databases that support complex values via ...