Redundant Relations in Relational Databases: A Model Theoretic Perspective.
Flavio Antonio FerrarottiAlejandra Lorena PaolettiJose Maria Turull TorresPublished in: J. Univers. Comput. Sci. (2010)
Keyphrases
- model theoretic
- relational databases
- operational semantics
- deductive databases
- description logics
- proof theoretic
- default reasoning
- decision procedures
- fixpoint
- data dependencies
- object oriented
- sql queries
- xml documents
- logic programs
- relational model
- database
- probabilistic reasoning
- databases
- horn clauses
- database schema
- xml schema
- functional dependencies
- answer sets
- temporal logic