Pages that link to "Item:Q5607609"
From MaRDI portal
The following pages link to A relational model of data for large shared data banks (Q5607609):
Displaying 50 items.
- Modular structuring of VDM specifications in VVSL (Q1184682) (← links)
- Connection-trap-free database schemes (Q1185238) (← links)
- Equivalence of the relational algebra and calculus for nested relations (Q1192209) (← links)
- Polynomial tests of normal forms and some related results (Q1192504) (← links)
- The powerset algebra as a natural tool to handle nested database relations (Q1198662) (← links)
- On characterizing boundedness of database schemes with bounded dependencies (Q1199825) (← links)
- Ensuring the existence of a BCNF-decomposition that preserves functional dependencies in \(O(N^ 2)\) time (Q1199942) (← links)
- Partial dependencies in relational databases and their realization (Q1202886) (← links)
- The characterization of branching dependencies (Q1202887) (← links)
- Functional dependencies in relational databases: A lattice point of view (Q1202888) (← links)
- The number of keys in relational and nested relational databases (Q1202895) (← links)
- Grundlagen einer Theorie der Datenstrukturen und Zugriffssysteme. I: Datenstrukturen und Schemata (Q1213739) (← links)
- On the complexity of finding the set of candidate keys for a given set of functional dependencies (Q1229752) (← links)
- DATAPLAN: An interface generator for database semantics (Q1230648) (← links)
- Directed recursive labelnode hypergraphs: A new representation-language (Q1239014) (← links)
- Relations as programming language elements (Q1241267) (← links)
- On the complementation rule for multivalued dependencies in database relations (Q1244989) (← links)
- On the expressive power of the relational algebra (Q1245699) (← links)
- QT logic: Simpler and more expressive than predicate calculus (Q1251089) (← links)
- Data types, abstract data types and their specification problem (Q1252032) (← links)
- On the number of candidate keys (Q1252714) (← links)
- Candidate keys for relations (Q1253096) (← links)
- Contribution to the theory of data base relations (Q1254852) (← links)
- A practical example of the specification of abstract data types (Q1259160) (← links)
- Properties of semijoin sequences (Q1263978) (← links)
- Regular sequence operations and their use in database queries (Q1267707) (← links)
- Constraints, consistency and closure (Q1274280) (← links)
- The expressive power of stratified logic programs with value invention (Q1281496) (← links)
- A constrained nonlinear 0-1 program for data allocation (Q1290718) (← links)
- Fuzzy information in extended fuzzy relational databases (Q1296884) (← links)
- Design type problems motivated by database theory (Q1299042) (← links)
- Finding fuzzy and gradual functional dependencies with Summary SQL (Q1304324) (← links)
- Equivalence of keyed relational schemas by conjunctive queries (Q1307695) (← links)
- Decomposing constraint satisfaction problems using database techniques (Q1321054) (← links)
- Extended nested relations (Q1323321) (← links)
- Dependency preservation in semantic databases (Q1323344) (← links)
- Object-oriented programming in control system design: A survey (Q1333435) (← links)
- Domain independence and the relational calculus (Q1338897) (← links)
- CGOOD, a categorical graph-oriented object data model (Q1350521) (← links)
- Modal logics in the theory of relational databases (Q1350737) (← links)
- A temporal logic-based approach for the description of object behavior evolution (Q1353949) (← links)
- Complex object multi-level fixpoint queries. (Q1353951) (← links)
- A survey of some combinatorial results concerning functional dependencies in database relations. (Q1353952) (← links)
- An object-oriented deductive language (Q1360678) (← links)
- Incomplete deductive databases (Q1360679) (← links)
- Database user interfaces in a scientific environment (Q1366221) (← links)
- Foundations of the theory of relational database models (Q1369614) (← links)
- On the expressive power of F-logic language (Q1375331) (← links)
- Finitely representable databases (Q1376408) (← links)
- Queries with arithmetical constraints (Q1391932) (← links)