A Logic of Type Relations and its Applications to Relational Databases (Q3431974)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A Logic of Type Relations and its Applications to Relational Databases |
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
