Satisfiability and Containment Problem of Structural Recursions with Conditions.

Balázs Kósa András A. Benczúr Attila Kiss

Published in: ADBIS (2010)

Keyphrases

sufficient conditions
structural information
computational complexity
phase transition
structural analysis
data structure
constraint satisfaction
information systems
case study
query language
satisfiability problem
structural features
automata theoretic