Toggle Main Menu Toggle Search

Open Access padlockePrints

The Newcastle University research output collection, currently available on ePrints, will shortly be moving to a new open repository platform, Figshare. To prepare for the data migration we have paused adding new content to ePrints, and will resume once the new repository is launched. During this time you will continue to have access to ePrints (but no new content will appear). We will share updates here when available.

Running Temporal Logical Queries on the Relational Model

Lookup NU author(s): Sam Appleby, Dr Giacomo BergamiORCiD, Professor Graham MorganORCiD

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.

Abstract

State of the art for model checking exploit computationally intensive solutions, bottlenecked by either repeated data access or suboptimal algorithmic implementations. Our solution outperforms the previous solutions while proposing novel temporal logic operators for accessing relational tables.

Publication metadata

Author(s): Appleby S, Bergami G, Morgan G

Editor(s): Desai,BC;Revesz,P;

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: IDEAS '22: Proceedings of the 26th International Database Engineered Applications Symposium

Year of Conference: 2022

Pages: 134–143

Print publication date: 13/09/2022

Online publication date: 13/09/2022

Acceptance date: 11/07/2022

Publisher: Association for Computing Machinery

URL: https://doi.org/10.1145/3548785.3548786

DOI: 10.1145/3548785.3548786

Library holdings: Search Newcastle University Library for this item

ISBN: 9781450397094

Share