Part II. LogiQL

Table of Contents

3. Introduction
4. Lexical Properties
4.1. Identifiers
4.2. Literals
4.3. Operators
4.4. Keywords
4.5. White space and comments
5. Grammar
5.1. Major Grammatical Categories
5.2. The Complete Grammar
6. Primitive Types
7. Built-in Operations
7.1. Comparisons
7.2. Arithmetic Operators
7.3. Arithmetic Functions
7.4. Rounding Functions
7.5. Integer Bit Manipulation Functions
7.6. String Operations
7.7. Boolean Operations
7.8. Operations on Integer Intervals
7.9. Date/Time Operations
7.10. Conversions
7.11. Currency
7.12. Unique Identifiers
7.13. Transaction Identifier
8. Predicates
8.1. Predicate Declaration
8.2. Functional Predicates
8.3. Entity Predicates
8.4. Constructor predicates
8.5. Reference mode (refmode) predicates
8.6. Foreign Predicates
8.7. File Predicates
8.8. Derivation Types
8.9. Ordered Predicates
8.10. Local predicates
8.11. External Diff Predicates
8.12. Predicate Properties
9. Expressions
9.1. Literals
9.2. Variables
9.3. Arithmetic Operations
9.4. Function applications
9.5. Parenthesized expressions
10. Formulas
10.1. Atoms
10.2. Comparisons
10.3. Complex Formulas
11. Rules
11.1. Basics of IDB Rules
11.2. Value-constructing Rules
11.3. Derived-only Rules
11.4. Putting it all together: general recursion
12. Aggregations
13. Sorting
13.1. seq
13.2. list
14. Series
14.1. Semantics
14.2. runtotal
14.3. Random number series
15. Linear recursion
16. Inventory Functions
16.1. General form of inventory rules
16.2. Time series order
16.3. Cover
16.4. Uncover
17. Predict Functions
17.1. Equations of models supported by predict functions
17.2. The general form of predict rules
17.3. Restrictions and requirements
17.4. Examples
18. Constraints
18.1. Syntax and Interpretation
18.2. Common Forms of Constraints
18.3. Constraints as Predicate Declarations
19. Typing
19.1. Predicate Type Inference
19.2. Type checking
20. Default Values
20.1. Net Sales Example
20.2. Disjunctive Solution
20.3. Default Value Solution
20.4. Storage and Performance Implications
20.5. Consistent Default Values
20.6. Data Updates
20.7. Caveats
21. Transaction Logic
21.1. Preliminaries
21.2. Delta logic
21.3. Events
21.4. Stages
22. Hierarchical Syntax
23. Modules
23.1. ConcreteBlox
24. Hierarchical Import/Export
24.1. Using Hierarchical Import/Export
24.2. Set semantics for repeated fields