Statements (27)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:logic
|
| gptkbp:basisFor |
gptkb:relational_calculus
SQL |
| gptkbp:developedBy |
gptkb:Alfred_Tarski
|
| gptkbp:field |
gptkb:mathematics
computer science |
| gptkbp:firstDescribed |
1941
|
| gptkbp:hasNotationFor |
gptkb:infix_notation
prefix notation |
| gptkbp:hasSubgroup |
algebraic logic
|
| gptkbp:operator |
gptkb:Union
selection join projection Cartesian product rename set difference |
| gptkbp:relatedTo |
gptkb:algebra
gptkb:set_theory relational model |
| gptkbp:usedFor |
querying relational databases
|
| gptkbp:usedIn |
database theory
relational databases |
| gptkbp:bfsParent |
gptkb:Relational_Mathematics
gptkb:Peirce's_logic_of_relations |
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
relation algebra
|