Constraint-generating dependencies

DOI10.1006/jcss.1999.1632zbMath0939.68030OpenAlexW2076612026MaRDI QIDQ1807678

Jan Chomicki, Pierre Wolper, Marianne Baudinet

Publication date: 23 November 1999

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/3be60ca1d272b3a24fb637738fba28e2c73a5bb2

zbMATH Keywords

dependency theoryconstraint-generating dependencies

Mathematics Subject Classification ID

Database theory (68P15)

Related Items

Computing Dependencies Using FCA, RQL: a query language for rule discovery in databases, Characterizing functional dependencies in formal concept analysis with pattern structures, On reasoning about structural equality in XML: a description logic approach, Incorporating cardinality constraints and synonym rules into conditional functional dependencies

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The complexity of querying indefinite data about linearly ordered domains
• A closed-form evaluation for Datalog queries with integer (gap)-order constraints
• Order dependency in the relational model
• A linear-time algorithm for testing the truth of certain quantified Boolean formulas
• The complexity of query evaluation in indefinite temporal constraint databases
• Finitely representable databases
• Toward practical query evaluation for constraint databases
• Memoing evaluation for constraint extensions of datalog
• Constrained dependencies
• Queries with arithmetical constraints
• On the expressiveness of temporal logic programming
• Handling infinite temporal data
• Indexing for data models with constraints and classes
• A Proof Procedure for Data Dependencies
• Relational expressive power of constraint query languages
• Datalog with integer periodicity constraints