A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation.
Domenico CantoneMarianna Nicolosi AsmundoEwa OrlowskaPublished in: CILC (2014)
Keyphrases
- universal relation
- proof procedure
- tableau calculus
- theorem proving
- functional dependencies
- first order logic
- relational databases
- propositional logic
- relational algebra
- decision making
- data model
- relational database theory
- proof search
- relational model
- modal logic
- description logics
- logic programming
- equality generating dependencies
- database schema
- artificial intelligence
- database design
- query language