Version 3.1 Programmer’s Guide Version 10, September 27, 2017 Ralf Hartmut Güting, Victor Teixeira de Almeida, Dirk Ansorge, Thomas Behr, Christian Düntgen, Simone Jandt, Markus Spiekermann Faculty for Mathematics and Computer Sience Database Systems for New Applications 58084 Hagen, Germany Table of Contents 1 Algebra Module Implementation . 1 1.1 The PointRectangleAlgebra . 1 1.2 Implementing Types . 3 1.2.1 Nested List Representation/Conversion . 4 1.2.2 Persistent Storage and Related Generic Functions . 5 1.2.3 Type Checking . 9 1.2.4 Type Description . 9 1.3 Implementing Operators . 10 1.3.1 Type Mapping Functions . 11 1.3.2 Selection Functions . 11 1.3.3 Generic Type Mapping and Selection Functions . 12 1.3.4 Value Mapping Functions . 12 1.3.5 Operator Descriptions . 13 1.3.6 Operator Syntax and Examples . 14 1.3.7 Linking the PointRectangleAlgebra to SECONDO . 15 1.4 Handling Streams . 16 2 The Relational Algebra and Tuple Streams . 23 2.1 The Relational Algebra Implementation. 23 2.2 Operators. 26 2.3 Type Mapping Functions and APPEND. 26 2.4 Value Mapping Functions. 31 3 DbArray - An Abstraction to Manage Data of Widely Varying Size . 36 3.1 Overview. 36 3.2 Example . 36 3.3 Accessing Flobs Directly . 39 3.4 Interaction with the Relational Algebra . 40 3.5 Important Hint. 41 4 Kind DATA: Attribute Types for Relations . 42 4.1 Serialization . 46 4.2 Supporting the ImExAlgebra . 48 4.3 The Golden Rules for Implementing Attribute Types . 48 5 Query Processing and Overview on Function Usage . 50 5.1 Type Constructors. 50 5.1.1 The Constructor‘s Name . 50 5.1.2 Property Function . 50 5.1.3 Out Function . 50 5.1.4 In Function . 51 5.1.5 SaveToList and RestoreFromList . 51 5.1.6 Create Function . 51 5.1.7 Delete Function . 51 5.1.8 Close Function . 51 5.1.9 Open Function . 51 5.1.10Save Function . 51 5.1.11Clone Function . 52 5.1.12SizeOf Function . 52 – 3 – 5.1.13Cast Function . 52 5.1.14TypeCheck Function . 52 5.2 Additional Functions for Attribute Data Types . 52 5.2.1 Standard Constructor . 52 5.2.2 Non-Standard Constructor . 53 5.2.3 Compare . 53 5.2.4 Adjacent . 53 5.2.5 HashValue . 53 5.2.6 CopyFrom . 53 5.2.7 NumOfFLOBs . 53 5.2.8 GetFLOB . 53 5.2.9 Print . 54 5.2.10BasicType . 54 5.2.11checkType . 54 5.2.12IsDefined . 54 5.2.13SetDefined . 54 5.3 Operators. 54 5.3.1 Name . 54 5.3.2 Specification . 55 5.3.3 Type Mapping . 55 5.3.4 Value Mapping Function . 55 5.3.5 Number of Value Mappings . 55 5.3.6 Value Mappings . 55 5.3.7 Selection Function . 55 5.3.8 Syntax Definition . 55 5.3.9 Example . 56 5.4 Example Commands and their Evaluation in Secondo. 56 5.4.1 list algebra <AlgebraName> . 56 5.4.2 query [const int value 3] + [const value 5.0] . 56 5.4.3 let ten2 = ten . 58 5.4.4 query ten feed head[1] consume . 58 6 SMI - The Storage Management Interface . 60 6.1 Retrieving and Updating Records. ..