Skip to main content
EXTENDED SEARCH
Log in
Top
Published in:
Read chapter Read first chapter

2022 | OriginalPaper | Chapter

Seminaïve Materialisation in DatalogMTL

Authors : Dingmin Wang, Przemysław Andrzej Wałęga, Bernardo Cuenca Grau

Published in: Rules and Reasoning

Publisher: Springer International Publishing

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

The chapter explores the challenges of materialisation-based reasoning in DatalogMTL, a temporal rule-based language. It introduces a seminaïve materialisation procedure that minimises redundant computations, ensuring efficient handling of complex recursive programs and large datasets. The optimised procedure extends traditional seminaïve evaluation, addressing the intricacies of metric temporal operators and ensuring termination in practical cases. The authors also present experimental results demonstrating the superior performance of the seminaïve approach in terms of running time and memory consumption, highlighting its potential for real-world applications in data-intensive environments.
AI Generated

This summary of the content was generated with the help of AI.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Business + Economics & Engineering + Technology"

Online-Abonnement

Springer Professional "Business + Economics & Engineering + Technology" gives you access to:

  • more than 102.000 books
  • more than 537 journals

from the following subject areas:

  • Automotive
  • Construction + Real Estate
  • Business IT + Informatics
  • Electrical Engineering + Electronics
  • Energy + Sustainability
  • Finance + Banking
  • Management + Leadership
  • Marketing + Sales
  • Mechanical Engineering + Materials
  • Insurance + Risk


Secure your knowledge advantage now!

inform now

Springer Professional "Engineering + Technology"

Online-Abonnement

Springer Professional "Engineering + Technology" gives you access to:

  • more than 67.000 books
  • more than 390 journals

from the following specialised fileds:

  • Automotive
  • Business IT + Informatics
  • Construction + Real Estate
  • Electrical Engineering + Electronics
  • Energy + Sustainability
  • Mechanical Engineering + Materials





 

Secure your knowledge advantage now!

inform now

Springer Professional "Business + Economics"

Online-Abonnement

Springer Professional "Business + Economics" gives you access to:

  • more than 67.000 books
  • more than 340 journals

from the following specialised fileds:

  • Construction + Real Estate
  • Business IT + Informatics
  • Finance + Banking
  • Management + Leadership
  • Marketing + Sales
  • Insurance + Risk



Secure your knowledge advantage now!

inform now
previous chapter Explaining Ontology-Mediated Query Answers Using Proofs over Universal Models
next chapter Magic Sets in Interpolation-Based Rule Driven Query Optimization
Footnotes
This content is only visible if you are logged in and have the appropriate permissions.
Literature
This content is only visible if you are logged in and have the appropriate permissions.
Metadata
Title
Seminaïve Materialisation in DatalogMTL
Authors
Dingmin Wang
Przemysław Andrzej Wałęga
Bernardo Cuenca Grau
Copyright Year
2022
Book
Rules and Reasoning

Print ISBN: 978-3-031-21540-7

Electronic ISBN: 978-3-031-21541-4

Copyright Year: 2022

DOI
https://doi.org/10.1007/978-3-031-21541-4_12

Premium Partner

    Image Credits