On computing transitive closures in MatBase

Christian Mancas *

Mathematics and Computer Science Department, Ovidius University, Constanta, Romania.
 
Research Article
GSC Advanced Engineering and Technology, 2022, 04(01), 039–058.
Article DOI: 10.30574/gscaet.2022.4.1.0050
Publication history: 
Received on 07 July 2022; revised on 14 August 2022; accepted on 16 August 2022
 
Abstract: 
This paper presents how transitive closures and their instantiations for all possible types of db interesting functions and function products are computed by the MatBase Datalog¬ subsystem. Moreover, it is proved that the correspond- ing algorithms are linear, solid, complete, and optimal.
 
Keywords: 
Self-function product; Transitive closure; Datalog; Fixpoint semantics; (Elementary) Mathematical Data Model; MatBase
 
Full text article in PDF: