数据库系统原理精品课件（康辉）ch5-kh.pptVIP

Chapter 5: Other Relational Languages Chapter 5: Other Relational Languages Tuple Relational Calculus Domain Relational Calculus Query-by-Example (QBE) Datalog Tuple Relational Calculus A nonprocedural query language, where each query is of the form {t | P (t ) } It is the set of all tuples t such that predicate P is true for t t is a tuple variable, t [A ] denotes the value of tuple t on attribute A t ? r denotes that tuple t is in relation r P is a formula similar to that of the predicate calculus Predicate Calculus Formula 1. Set of attributes and constants 2. Set of comparison operator