Login / Signup
Equivalence of linear, free, liberal, structured program schemas is decidable in polynomial time.
Sebastian Danicic
Mark Harman
Robert M. Hierons
John Howroyd
Michael R. Laurence
Published in:
Theor. Comput. Sci. (2007)
Keyphrases
</>
structured data
special case
polynomial hierarchy
databases
datalog programs
query containment
data integration
first order logic
computer programs
computational complexity
approximation algorithms
knowledge base
data sources
linear systems
quadratic programming
linear space