Using Transitive-Closure Logic for Deciding Linear Properties of Monoids.

Christian Delhommé Teodor Knapik D. Gnanaraj Thomas

Published in: MFCS (2003)

Keyphrases

transitive closure
expressive power
binary relations
first order logic
directed acyclic graph
constraint databases
recursive queries
query evaluation
spatial databases
query language
logic programming
modal logic
relational algebra
databases
machine learning
domain ontology