Cylindric structures and dependencies in relational databases

Theoretical Computer Science

Volumn 269, Issue 1-2, 2001, Pages 451-468

  Düntsch, Ivo ^a   Mikulás, Szabolcs ^b  

^a UNIVERSITY OF ULSTER   (United Kingdom)

^b UNIVERSITY OF LONDON   (United Kingdom)

Author keywords

Cylindric algebras; Finite axiomatizability; Project join and cylindric dependencies; Relational databases

Indexed keywords

ALGEBRA; MATHEMATICAL MODELS; THEOREM PROVING;

FINITE AXIOMATIZABILITY;

RELATIONAL DATABASE SYSTEMS;

EID: 0035965495     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(01)00016-0     Document Type: Article

References (28)

1. Equivalences among relational expressions
2. Complexity of equations valid in algebras of relations. Part I
3. Algebraic logic
4. A relational model of data for large shared databanks
5. Database theory and cylindric lattices
6. On the syllogism: IV, and on the logic of relations
7. A note on cylindric lattices
8. Algebraic aspects of attribute dependencies in information systems
9. Logical tools for rule based data analysis
10. Horn clauses and data dependencies
11. The theory of data dependencies - A survey
12. Cylindric set algebras
13. Axiomatizability of reducts of algebras of relations
14. The relational model of data and cylindric algebras
15. Algebraizations of quantifier logics
16. Applications of dependence spaces
17. Dependence spaces of information systems
18. Description of a notation for the logic of relatives, resulting from an amplification of the conceptions of Boole's calculus of logic
19. On the calculus of relations
20. Algebraic dependencies