Pages that link to "Item:Q3677202"
From MaRDI portal
The following pages link to On the foundations of the universal relation model (Q3677202):
Displaying 25 items.
- Using trees to mine multirelational databases (Q408677) (← links)
- Decidable containment of recursive queries (Q555766) (← links)
- Data exchange: semantics and query answering (Q555772) (← links)
- Data analysis using a geometrical representation of predicate calculus (Q578939) (← links)
- On the equivalence of recursive and nonrecursive Datalog programs (Q676421) (← links)
- A formal framework for independence with respect to transactions in the universal relation model (Q803778) (← links)
- A new interpretation for null values in the weak instance model (Q909490) (← links)
- A universal table model for categorical databases (Q918682) (← links)
- Testing arbitrary subhypergraphs for the lossless join property (Q918686) (← links)
- On the desirability of \(\gamma\)-acyclic BCNF database schemes (Q1111780) (← links)
- Testing unboundedness of database schemes and functional dependencies (Q1115211) (← links)
- Boundedness is undecidable for datalog programs with a single recursive rule (Q1123647) (← links)
- Connection-trap-free database schemes (Q1185238) (← links)
- On characterizing boundedness of database schemes with bounded dependencies (Q1199825) (← links)
- The nested universal relation data model (Q1342865) (← links)
- Can datalog be approximated? (Q1376415) (← links)
- A progression semantics for first-order logic programs (Q1680677) (← links)
- Independent database schemes under functional and inclusion dependencies (Q1812986) (← links)
- Nonapplicable nulls (Q1822518) (← links)
- Efficient and optimal query answering on independent schemes (Q2639633) (← links)
- On the spectra of universal relational sentences (Q3722484) (← links)
- (Q3819123) (← links)
- A domain theoretic characterisation of the universal relation (Q3979696) (← links)
- Querying Weak Instances Under Extension Chase Semantics: A Complete Solution (Q4707309) (← links)
- (Q5018502) (← links)
