A safe relational calculus for functional logic deductive databases.
Jesús Manuel Almendros-JiménezAntonio Becerra-TerónPublished in: Electron. Notes Theor. Comput. Sci. (2003)
Keyphrases
- deductive databases
- relational calculus
- logic programming
- relational algebra
- declarative semantics
- expressive power
- query language
- model theoretic
- query evaluation
- complex objects
- integrity constraints
- relational model
- fixpoint
- logic programs
- semantics of logic programs
- transitive closure
- normal form
- relational data model
- relational database systems
- data model
- closed world assumption
- programming language
- first order logic
- knowledge base
- knowledge representation
- modal logic
- incomplete information
- datalog programs
- truth values
- relational databases
- metadata