Pages that link to "Item:Q1338897"
From MaRDI portal
The following pages link to Domain independence and the relational calculus (Q1338897):
Displaying 13 items.
- A sound and complete model-generation procedure for consistent and confidentiality-preserving databases (Q549726) (← links)
- A closed-form evaluation for Datalog queries with integer (gap)-order constraints (Q688670) (← links)
- Safety, domain independence and translation of complex value database queries (Q1031675) (← links)
- On the expressive power of database queries with intermediate types (Q1176290) (← links)
- The expressive power of stratified logic programs with value invention (Q1281496) (← links)
- Query languages for bags and aggregate functions (Q1376407) (← links)
- Finitely representable databases (Q1376408) (← links)
- Reasoning about strings in databases (Q1807679) (← links)
- SHACL: a description logic in disguise (Q2694553) (← links)
- Combining Consistency and Confidentiality Requirements in First-Order Databases (Q3399206) (← links)
- Stability theory, permutations of indiscernibles, and embedded finite models (Q4505906) (← links)
- Efficient Evaluation of Arbitrary Relational Calculus Queries (Q6137874) (← links)
- Expressiveness of SHACL Features and Extensions for Full Equality and Disjointness Tests (Q6151565) (← links)
