A Query Language for Logic Architectures.
Anton MalykhAndrei MantsivodaPublished in: Ershov Memorial Conference (2009)
Keyphrases
- query language
- data model
- expressive power
- logic programming
- classical logic
- object oriented
- modal logic
- query evaluation
- database
- predicate logic
- relational algebra
- algebraic operators
- recursive queries
- conjunctive queries
- regular expressions
- structured documents
- automated reasoning
- probabilistic logic
- xml data
- logic programs
- information systems
- epistemic logic
- asynchronous circuits
- monadic second order logic
- data mining