Pages that link to "Item:Q3706527"
From MaRDI portal
The following pages link to Integrity constraints in logic databases (Q3706527):
Displaying 14 items.
- Algorithms for the maximum satisfiability problem (Q753502) (← links)
- A deontic approach to database integrity (Q1353862) (← links)
- Active integrity constraints for general-purpose knowledge bases (Q1783734) (← links)
- Improved exact algorithms for MAX-SAT (Q1878397) (← links)
- (Q2767120) (← links)
- A generalisation of entity and referential integrity in relational databases (Q2771491) (← links)
- Semantics and Pragmatics of Integrity Constraints (Q3458150) (← links)
- Integrity constraint checking in stratified databases (Q3786031) (← links)
- Maintaining state constraints in relational databases: a proof theoretic basis (Q3833655) (← links)
- (Q4329266) (← links)
- Semantic integrity constraints in knowledge-based database design systems (Q4332065) (← links)
- DICE: declarative integrity constraint embedding into the object database standard ODMG-93 (Q4398689) (← links)
- An operator for composing deductive data bases with theories of constraints (Q5101441) (← links)
- (Q5689985) (← links)