Intermediate Aspects
This chapter builds on the basic concepts and syntax of LogiQL considered in the previous chapter and introduces some more advanced features of the language. Although the British monarchy remains the primary domain from which examples and exercises are constructed, we begin to introduce other,...
| Main Authors: | , |
|---|---|
| Format: | Book Section |
| Language: | English |
| Published: |
Taylor & Francis Group
2015
|
| Subjects: | |
| Online Access: | http://eprints.intimal.edu.my/329/ http://eprints.intimal.edu.my/329/1/8_ft.pdf |
| _version_ | 1848766450518458368 |
|---|---|
| author | Halpin, Terry Rugaber, Spencer |
| author_facet | Halpin, Terry Rugaber, Spencer |
| author_sort | Halpin, Terry |
| building | INTI Institutional Repository |
| collection | Online Access |
| description | This chapter builds on the basic concepts and syntax of LogiQL
considered
in the previous chapter and introduces some more
advanced features of the language. Although the British monarchy
remains the primary domain from which examples and exercises are constructed,
we begin to introduce other, more business-oriented domains to
demonstrate the breadth of applicability of LogiQL.
The first unit considers inverse-functional predicates, which are binary
predicates where the first argument is a function of the second argument.
The second unit discusses predicates that have more than two arguments
and also surveys the various kinds of numeric datatypes available in
LogiQL. The next unit covers some constraints that apply to two or more
predicate arguments. We then learn how to use subtyping, where a type is
contained in a larger type (e.g., Woman is a subtype of Person), as well as
some simple subset constraints. The following unit then examines recursion,
one of LogiQL’s most powerful features, and discusses constraints
that often apply to predicates used in recursive rules. The final unit introduces
two of LogiQL’s aggregation functions (count and total), useful
for computing properties of a set of facts in the database. The consolidation
exercise gives you an opportunity to test your mastery of the new
concepts and syntax considered in the chapter. |
| first_indexed | 2025-11-14T11:51:20Z |
| format | Book Section |
| id | intimal-329 |
| institution | INTI International University |
| institution_category | Local University |
| language | English |
| last_indexed | 2025-11-14T11:51:20Z |
| publishDate | 2015 |
| publisher | Taylor & Francis Group |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | intimal-3292016-11-23T02:29:38Z http://eprints.intimal.edu.my/329/ Intermediate Aspects Halpin, Terry Rugaber, Spencer QA76 Computer software This chapter builds on the basic concepts and syntax of LogiQL considered in the previous chapter and introduces some more advanced features of the language. Although the British monarchy remains the primary domain from which examples and exercises are constructed, we begin to introduce other, more business-oriented domains to demonstrate the breadth of applicability of LogiQL. The first unit considers inverse-functional predicates, which are binary predicates where the first argument is a function of the second argument. The second unit discusses predicates that have more than two arguments and also surveys the various kinds of numeric datatypes available in LogiQL. The next unit covers some constraints that apply to two or more predicate arguments. We then learn how to use subtyping, where a type is contained in a larger type (e.g., Woman is a subtype of Person), as well as some simple subset constraints. The following unit then examines recursion, one of LogiQL’s most powerful features, and discusses constraints that often apply to predicates used in recursive rules. The final unit introduces two of LogiQL’s aggregation functions (count and total), useful for computing properties of a set of facts in the database. The consolidation exercise gives you an opportunity to test your mastery of the new concepts and syntax considered in the chapter. Taylor & Francis Group 2015 Book Section PeerReviewed text en http://eprints.intimal.edu.my/329/1/8_ft.pdf Halpin, Terry and Rugaber, Spencer (2015) Intermediate Aspects. In: LogiQL: A Query Language for Smart Databases. Taylor & Francis Group, pp. 35-82. ISBN 9781482244939 |
| spellingShingle | QA76 Computer software Halpin, Terry Rugaber, Spencer Intermediate Aspects |
| title | Intermediate Aspects |
| title_full | Intermediate Aspects |
| title_fullStr | Intermediate Aspects |
| title_full_unstemmed | Intermediate Aspects |
| title_short | Intermediate Aspects |
| title_sort | intermediate aspects |
| topic | QA76 Computer software |
| url | http://eprints.intimal.edu.my/329/ http://eprints.intimal.edu.my/329/1/8_ft.pdf |