Adding a Closure Operator to the Extended Relational Algebra: A Further Step Towards the Integration of Database Techniques and Logic Programming.
Luigia Carlucci AielloCarlo CecchiPublished in: Foundations of Knowledge Base Management (Xania) (1985)
Keyphrases
- logic programming
- relational algebra
- query language
- database
- logic programs
- data model
- relational database systems
- relational calculus
- expressive power
- answer set programming
- relational model
- null values
- normal form
- deductive databases
- first order logic
- databases
- knowledge base
- closure operator
- relational databases
- knowledge representation
- complex objects
- programming language
- constraint logic programming
- data integration
- database management systems
- inductive logic programming
- database applications
- database systems
- query evaluation
- answer sets
- fixpoint
- object oriented
- distance function
- natural language
- sql queries
- background knowledge