Toggle Main Menu Toggle Search

Open Access padlockePrints

Running Temporal Logical Queries on the Relational Model

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


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


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


DOI: 10.1145/3548785.3548786

Library holdings: Search Newcastle University Library for this item

ISBN: 9781450397094