Diving Deeper
This chapter builds on the concepts and syntax of the LogiQL language considered in the previous chapters, introducing some more advanced features of the language and describing how programs are executed by the LogiQL engine. The first unit discusses aggregation functions for computing minima an...
| Main Authors: | , |
|---|---|
| Format: | Book Section |
| Language: | English |
| Published: |
Taylor & Francis Group
2015
|
| Subjects: | |
| Online Access: | http://eprints.intimal.edu.my/330/ http://eprints.intimal.edu.my/330/1/9_ft.pdf |
| _version_ | 1848766450820448256 |
|---|---|
| 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 concepts and syntax of the LogiQL
language considered in the previous chapters, introducing some
more advanced features of the language and describing how programs
are executed by the LogiQL engine. The first unit discusses aggregation
functions for computing minima and maxima. We then identify some
safety conditions to ensure that rules and queries execute in a finite time.
After this, a description is given of how derivation rules are processed.
Then come two units relating to the handling of changes to the EDB. The
first examines how delta rules and pulse predicates may be used to make
changes to the database, and the second provides a simple explanation
of how transactions are supported in LogiQL. The final unit considers
some further built-in operators and functions (scalar or aggregation)
that can be useful. The consolidation exercise at the end gives you an
opportunity to test your mastering of the new concepts and syntax considered
in the chapter. |
| first_indexed | 2025-11-14T11:51:21Z |
| format | Book Section |
| id | intimal-330 |
| institution | INTI International University |
| institution_category | Local University |
| language | English |
| last_indexed | 2025-11-14T11:51:21Z |
| publishDate | 2015 |
| publisher | Taylor & Francis Group |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | intimal-3302016-11-23T02:28:42Z http://eprints.intimal.edu.my/330/ Diving Deeper Halpin, Terry Rugaber, Spencer QA76 Computer software This chapter builds on the concepts and syntax of the LogiQL language considered in the previous chapters, introducing some more advanced features of the language and describing how programs are executed by the LogiQL engine. The first unit discusses aggregation functions for computing minima and maxima. We then identify some safety conditions to ensure that rules and queries execute in a finite time. After this, a description is given of how derivation rules are processed. Then come two units relating to the handling of changes to the EDB. The first examines how delta rules and pulse predicates may be used to make changes to the database, and the second provides a simple explanation of how transactions are supported in LogiQL. The final unit considers some further built-in operators and functions (scalar or aggregation) that can be useful. The consolidation exercise at the end gives you an opportunity to test your mastering of the new concepts and syntax considered in the chapter. Taylor & Francis Group 2015 Book Section PeerReviewed text en http://eprints.intimal.edu.my/330/1/9_ft.pdf Halpin, Terry and Rugaber, Spencer (2015) Diving Deeper. In: LogiQL: A Query Language for Smart Databases. Taylor & Francis Group, pp. 83-140. ISBN 9781482244939 |
| spellingShingle | QA76 Computer software Halpin, Terry Rugaber, Spencer Diving Deeper |
| title | Diving Deeper |
| title_full | Diving Deeper |
| title_fullStr | Diving Deeper |
| title_full_unstemmed | Diving Deeper |
| title_short | Diving Deeper |
| title_sort | diving deeper |
| topic | QA76 Computer software |
| url | http://eprints.intimal.edu.my/330/ http://eprints.intimal.edu.my/330/1/9_ft.pdf |