The relational model of data and cylindric algebras

DOI10.1016/0022-0000(84)90077-1zbMATH Open0557.68067OpenAlexW2062058882WikidataQ55968586 ScholiaQ55968586MaRDI QIDQ761801FDOQ761801

Authors Tomasz Imielinski, Witold jun. Lipski 

Publication date 1984

Published in Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0022-0000(84)90077-1

zbMATH Keywords

relational algebrarelational datacylindrical algebrasjoin duality

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20) Data structures (68P05) Cylindric and polyadic algebras; relation algebras (03G15)

Recommendations

• Cylindric algebras and relational databases
• scientific article; zbMATH DE number 3917749
• Cylindric structures and dependencies in relational databases
• A foundation of CODD's relational maybe-operations
• An Algebraic Theory of Relational Databases

Cites work

• scientific article; zbMATH DE number 3648167 (Why is no real title available?)
• scientific article; zbMATH DE number 3596227 (Why is no real title available?)
• scientific article; zbMATH DE number 3227055 (Why is no real title available?)
• scientific article; zbMATH DE number 3248792 (Why is no real title available?)
• scientific article; zbMATH DE number 3263218 (Why is no real title available?)
• scientific article; zbMATH DE number 3339390 (Why is no real title available?)
• scientific article; zbMATH DE number 3196257 (Why is no real title available?)
• A relational model of data for large shared data banks
• Cylindric set algebras. Cylindric set algebras and related structures. By L. Henkin, J. D. Monk, and A. Tarski. On cylindric-relativized set algebras. By H. Andreka and I. Nemeti
• Equivalences Among Relational Expressions with the Union and Difference Operators
• Equivalences among Relational Expressions
• Nonfinitizability of classes of representable cylindric algebras
• Nonfinitizability of classes of representable polyadic algebras
• Optimization of Single Expressions in a Relational Data Base System
• Optimizing the performance of a relational algebra database interface
• Provability with Finitely Many Variables
• The concept of a linguistic variable and its application to approximate reasoning. I
• The equational theory of CA₃ is undecidable
• Undecidability of the homogeneous formulas of degree 3 of the predicate calculus

Cited in

(27)

• Algebraization of quantifier logics, an introductory overview
• scientific article; zbMATH DE number 3917749 (Why is no real title available?)
• Nonapplicable nulls
• scientific article; zbMATH DE number 1522507 (Why is no real title available?)
• Complexity of equations valid in algebras of relations. I: Strong non-finitizability
• Intuitionistic interpretation of deductive databases with incomplete information
• Modelling some mathematical objects and operations on them with an expanded relational data model
• scientific article; zbMATH DE number 3856445 (Why is no real title available?)
• A formalization of the Codd algebra operations in logic \(\mathcal{SHOIN}(D)\)
• A remark of representable positive cylindric algebras
• The semijoin algebra and the guarded fragment
• Cylindric structures and dependencies in relational databases
• Executable first-order queries in the logic of information flows
• scientific article; zbMATH DE number 3999330 (Why is no real title available?)
• The Verso algebra or how to answer queries with fewer joins
• A deontic approach to database integrity
• scientific article; zbMATH DE number 4070969 (Why is no real title available?)
• scientific article; zbMATH DE number 3934440 (Why is no real title available?)
• Inputs, Outputs, and Composition in the Logic of Information Flows
• The contributions of Alfred Tarski to algebraic logic
• Orbital concept lattices
• Generalization of Codd-Lacroix-Pirotte theorems
• A computational model of relational algebra
• Tarski's influence on computer science
• Relational lattices: from databases to universal algebra
• A framework for comparing query languages in their ability to express Boolean queries
• Cylindric algebras and relational databases

This page was built for publication: The relational model of data and cylindric algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q761801)