Polynomially Bounded Valuations in Higher-Order Logics over Relational Databases.
Flavio FerrarottiLoredana TecJosé Maria Turull TorresPublished in: Models: Concepts, Theory, Logic, Reasoning and Semantics (2018)
Keyphrases
- polynomially bounded
- higher order
- relational databases
- higher order logic
- anti unification
- high order
- expressive power
- pairwise
- database
- modal logic
- natural images
- object oriented
- databases
- sql queries
- inference rules
- relational model
- normal form
- relational data
- functional dependencies
- markov random field
- data dependencies
- low order
- inductive logic programming
- keyword search
- xml documents
- propositional dynamic logic
- hidden markov models
- lower order
- inductive learning
- computational properties
- epistemic logic
- classical logic
- xml data
- database design
- first order logic