Relational structures having finitely many full-cardinality restrictions.

Peter C. Gibson Maurice Pouzet Robert E. Woodrow

Published in: Discret. Math. (2005)

Keyphrases

relational structures
relational data
association graph
first order logic
relational databases
point sets
constraint satisfaction problems
database
search algorithm
computational complexity
maximum likelihood
datalog programs
markov logic networks