zbMath0963.68061MaRDI QIDQ4500375
Wendy MacCaull
Publication date: 11 January 2001
zbMATH Keywords
indiscernibility relationproof system for database dependencies
Mathematics Subject Classification ID
Database theory (68P15) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)