Chapter 1

Types and Relations

This chapter is the first of three devoted to reviewing the basics of relational theory. It explains relations as such, as well as the supporting notion of types (aka domains), in considerable depth. With regard to types; it discusses values, variables, operators, parameters, arguments, expressions, and polymorphism; equality and assignment; system defined vs. user defined types; scalar vs. nonscalar types; possible vs. physical representations; type generators and generated vs. nongenerated types; type constraints; and selectors, literals, and THE_ operators. With regard to relations, it discusses tuples, attributes, and relation headings and bodies; relation and tuple types; TABLE_DEE and TABLE_DUM; relation valued ...

Get Time and Relational Theory, 2nd Edition now with the O’Reilly learning platform.

O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.