Constraint-generating dependencies

DOI10.1006/JCSS.1999.1632MaRDI QIDQ1807678zbMATH OpenOpenAlexFDO

Authors Marianne Baudinet, Jan Chomicki, Pierre Wolper

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)

Recommendations

• Constrained dependencies
• A Proof Procedure for Data Dependencies
• Formal Systems for Tuple and Equality Generating Dependencies
• scientific article; zbMATH DE number 3898274
• scientific article; zbMATH DE number 4112078

Cites work

• scientific article; zbMATH DE number 3823168 (Why is no real title available?)
• scientific article; zbMATH DE number 4089320 (Why is no real title available?)
• scientific article; zbMATH DE number 41085 (Why is no real title available?)
• scientific article; zbMATH DE number 3639144 (Why is no real title available?)
• scientific article; zbMATH DE number 555223 (Why is no real title available?)
• A Proof Procedure for Data Dependencies
• A closed-form evaluation for Datalog queries with integer (gap)-order constraints
• A linear-time algorithm for testing the truth of certain quantified Boolean formulas
• Constrained dependencies
• Datalog with integer periodicity constraints
• Finitely representable databases
• Handling infinite temporal data
• Indexing for data models with constraints and classes
• Memoing evaluation for constraint extensions of datalog
• On the expressiveness of temporal logic programming
• Order dependency in the relational model
• Queries with arithmetical constraints
• Relational expressive power of constraint query languages
• The complexity of query evaluation in indefinite temporal constraint databases
• The complexity of querying indefinite data about linearly ordered domains
• Toward practical query evaluation for constraint databases

Cited in

(7)

• Reasoning on property graphs with graph generating dependencies
• Incorporating cardinality constraints and synonym rules into conditional functional dependencies
• On reasoning about structural equality in XML: a description logic approach
• scientific article; zbMATH DE number 4078860 (Why is no real title available?)
• Characterizing functional dependencies in formal concept analysis with pattern structures
• Computing Dependencies Using FCA
• RQL: a query language for rule discovery in databases

This page was built for publication: Constraint-generating dependencies

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1807678)