Relational Databases and Homogeneity in Logics with Counting.
Jose Maria Turull TorresPublished in: FoIKS (2002)
Keyphrases
- relational databases
- databases
- object oriented
- modal logic
- relational data
- sql queries
- normal form
- database
- expressive power
- functional dependencies
- relational model
- xml databases
- keyword search
- data dependencies
- data model
- inference rules
- data mining
- database schema
- nonmonotonic logics
- conditional logic
- proof theory
- knowledge base
- propositional calculus
- database applications
- xml data
- higher order
- genetic algorithm
- xml documents