On Higher Order Query Languages which on Relational Databases Collapse to Second Order Logic.
Flavio FerrarottiLoredana TecJosé Maria Turull TorresPublished in: CoRR (2016)
Keyphrases
- higher order
- relational databases
- query language
- higher order logic
- object oriented
- high order
- data model
- relational model
- relational operators
- keyword search
- relational algebra
- database
- xml data
- expressive power
- natural images
- structured query language
- pairwise
- modal logic
- databases
- normal form
- markov random field
- relational data model
- database technology
- logic programming
- xml databases
- query evaluation
- monadic second order logic
- functional dependencies
- constraint databases
- sql queries
- classical logic
- recursive queries
- relational calculus
- relational data
- data dependencies
- relational database systems
- predicate logic
- visual query language
- query engine
- multi valued
- lower order
- xml documents
- complex objects
- incomplete information
- lambda calculus
- knowledge base
- database query languages
- model checking
- database design
- transitive closure