A Logic of Type Relations and its Applications to Relational Databases (Q3431974)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A Logic of Type Relations and its Applications to Relational Databases |
scientific article |
Statements
A Logic of Type Relations and its Applications to Relational Databases (English)
0 references
13 April 2007
0 references
relational proof systems
0 references
typed relations
0 references
relational database
0 references
nondeterministic database
0 references
information relations
0 references
rough set theory
0 references