A Relational Algebra for Functional Logic Deductive Databases.
Jesús Manuel Almendros-JiménezAntonio Becerra-TerónPublished in: Ershov Memorial Conference (2003)
Keyphrases
- deductive databases
- relational algebra
- logic programming
- query language
- query evaluation
- model theoretic
- relational model
- expressive power
- data model
- integrity constraints
- normal form
- relational calculus
- complex objects
- logic programs
- relational database systems
- fixpoint
- semantics of logic programs
- functional dependencies
- first order logic
- probabilistic databases
- knowledge representation
- closed world assumption
- recursive queries
- programming language
- modal logic
- database query languages
- incomplete information
- relational data model
- database
- general purpose
- answer sets
- database systems
- probabilistic reasoning
- transitive closure
- knowledge base
- query answering
- propositional logic
- database design
- distance function
- object oriented
- relational databases
- machine learning