The relational model of data and cylindric algebras

DOI10.1016/0022-0000(84)90077-1MaRDI QIDQ761801zbMATH OpenOpenAlexWikidataFDO

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)

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

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)