Pages that link to "Item:Q2436517"
From MaRDI portal
The following pages link to An extended constraint deductive database: theory and implementation (Q2436517):
Displaying 4 items.
- Constraint databases. First international symposium, CDB 2004, Paris, France, June 12--13, 2004. Proceedings. (Q1890106) (← links)
- Maintaining state constraints in relational databases: a proof theoretic basis (Q3833655) (← links)
- (Q4305309) (← links)
- Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation (Q5458443) (← links)