A generic algebra for data collections based on constructive logic

DOI10.1007/3-540-60043-4_77zbMath1496.68129OpenAlexW1505878093MaRDI QIDQ5096406

P. Rajagopalan, Chi Ping Tsang

Publication date: 16 August 2022

Published in: Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-60043-4_77

Mathematics Subject Classification ID

Database theory (68P15) Logic in computer science (03B70)

Cites Work

• Algebraic optimization of object-oriented query languages
• Type theory as a foundation for computer science
• Unnamed Item
• Unnamed Item
• Unnamed Item