A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation (Extended Version).
Domenico CantoneMarianna Nicolosi AsmundoEwa OrlowskaPublished in: CoRR (2018)
Keyphrases
- universal relation
- proof procedure
- tableau calculus
- functional dependencies
- relational algebra
- first order logic
- theorem proving
- relational database theory
- decision making
- relational databases
- relational model
- propositional logic
- logic programming
- data model
- predicate calculus
- proof search
- automated theorem proving
- equality generating dependencies
- multi valued
- modal logic
- normal form
- expressive power
- description logics
- predicate logic
- search procedure
- inclusion dependencies
- multivalued dependencies
- expert systems
- knowledge base