Constraint-generating dependencies
From MaRDI portal
Recommendations
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)