Relational Algebra And Calculus Flashcards
Relational Algebra
A procedural language for manipulating relations.
Procedural
Language that provides a step by step method for solving problems.
Relational Calculus
A nonprocedural language for defining query solutions.
Nonprocedural
Language that provides a means for stating what is desired rather than how to get it.
Relationally complete
Having the same logical power as relational algebra or calculus.
Union
Relational algebra operation that creates the set union of two union-compatible relations.
Union Compatible
Two or more relations that have equivalent columns as to number and domains.
Intersection
Relational algebra operation that creates the set intersection of two union-compatible relations.
Difference
operation that creates the set difference of two union compatible relations.
Subtraction
The relational algebra difference between Operation.
Product
Relational algebra operation that creates the cartesian product of two relations.
Select
Relational algebra operations that use a condition to select a condition to select rows from a relation.
Project
Relational algebra operation that creates a relation by deleting columns from an existing relation.
Projection
Relation resulting from a project operation.
Join
Relational algebra operation that connects relations.
Natural Join
Join operation that connects relations when common columns have equal values.
Theta Join
Join operation that connects relations when values from specified columns have a specified relationship.
Equiijoin
Theta join based on equality of specified columns.
Outer Join
Expansion of the natural join that includes all rows from both relations.
Divide
Relational algebra operation creates a new relation by selecting the rows in one relation that matches every row in another relation.
Assignment
Relational algebra operation that gives a name to a relation.
Target List
A list in a relational calculus statement that defines the attributes of the solution relation.
Qualifying Statement
A condition in a relational calculus statement that restricts membership in a solution relation.
Existential Quantifier
Relational calculus expression affirming the existence of at least one row to which a condition applies.
Universal Quantifier
Relational calculus expression stating that some condition applies to every row of some type.