A Logic of Type Relations and its Applications to Relational Databases

DOI10.1093/LOGCOM/EXL010zbMath1118.03022OpenAlexW1967675407MaRDI QIDQ3431974

Wendy MacCaull, Ewa S. Orłowska

Publication date: 13 April 2007

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/a21da84ca3fffe2f309f3bd891b6e52fd2a59302

zbMATH Keywords

relational databaserough set theoryinformation relationsrelational proof systemsnondeterministic databasetyped relations

Mathematics Subject Classification ID

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

This page was built for publication: A Logic of Type Relations and its Applications to Relational Databases