Pages that link to "Item:Q761801"

The following pages link to The relational model of data and cylindric algebras (Q761801):

Displaying 23 items.

• Relational lattices: from databases to universal algebra (Q299191) (← links)
• A formalization of the Codd algebra operations in logic \(\mathcal{SHOIN}(D)\) (Q446180) (← links)
• A computational model of relational algebra (Q1091810) (← links)
• The Verso algebra or how to answer queries with fewer joins (Q1102767) (← links)
• Modelling some mathematical objects and operations on them with an expanded relational data model (Q1183827) (← links)
• Algebraization of quantifier logics, an introductory overview (Q1189899) (← links)
• Projection and join in relational algebras (Q1280911) (← links)
• Intuitionistic interpretation of deductive databases with incomplete information (Q1341709) (← links)
• A deontic approach to database integrity (Q1353862) (← links)
• Complexity of equations valid in algebras of relations. I: Strong non-finitizability (Q1377625) (← links)
• Nonapplicable nulls (Q1822518) (← links)
• A remark of representable positive cylindric algebras (Q2276955) (← links)
• The semijoin algebra and the guarded fragment (Q2567344) (← links)
• The contributions of Alfred Tarski to algebraic logic (Q3029010) (← links)
• (Q3325077) (← links)
• (Q4510742) (← links)
• Tarski’s Influence on Computer Science (Q4611682) (← links)
• (Q4725782) (← links)
• A framework for comparing query languages in their ability to express Boolean queries (Q5919276) (← links)
• Cylindric structures and dependencies in relational databases (Q5958623) (← links)
• Orbital concept lattices (Q6045083) (← links)
• Inputs, Outputs, and Composition in the Logic of Information Flows (Q6082230) (← links)
• Executable first-order queries in the logic of information flows (Q6563053) (← links)