Relational and Kleene-Algebraic Methods in Computer Science

DOI10.1007/b98117zbMath1088.68048OpenAlexW2476951070MaRDI QIDQ5712432

Ewa S. Orłowska, Wendy MacCaull

Publication date: 23 December 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b98117

zbMATH Keywords

relational databaseinformation relationstyped relationsnondeterministic databasesRelational proof system

Mathematics Subject Classification ID

Database theory (68P15)

Related Items (2)

An Algebraic Calculus of Database Preferences ⋮ An algebra of database preferences

This page was built for publication: Relational and Kleene-Algebraic Methods in Computer Science