No label defined (Q4500375)
From MaRDI portal
scientific article; zbMATH DE number 1501628
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 1501628 |
Statements
11 January 2001
0 references
proof system for database dependencies
0 references
indiscernibility relation
0 references