A Logic of Type Relations and its Applications to Relational Databases
From MaRDI portal
Publication:3431974
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
relational databaserough set theoryinformation relationsrelational proof systemsnondeterministic databasetyped relations