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
|
https://www.w3.org/2000/01/rdf-schema#label |
relation algebra
|
gptkbp:operator |
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
|