Relational Databases and Homogeneity in Logics with Counting.
Jose Maria Turull TorresPublished in: Acta Cybern. (2006)
Keyphrases
- relational databases
- expressive power
- databases
- relational model
- relational data
- modal logic
- functional dependencies
- normal form
- database
- database schema
- object oriented
- xml data
- xml databases
- sql queries
- inference rules
- epistemic logic
- classical logic
- conditional logic
- propositional calculus
- relational database systems
- first order logic
- data dependencies
- propositional dynamic logic
- proof theory
- nonmonotonic logics
- keyword search
- logic programming
- xml documents
- database systems
- neural network