On MatBase’s algorithm for preventing cycles in binary Cartesian function products

Christian Mancas *

DATASIS ProSoft srl, Bucharest, Romania.
 
Research Article
World Journal of Advanced Engineering Technology and Sciences, 2022, 07(01), 023–037.
Article DOI: 10.30574/wjaets.2022.7.1.0092
Publication history: 
Received on 01 August 2022; revised on 06 September 2022; accepted on 09 September 2022
 
Abstract: 
This paper introduces the algorithm that MatBase (an intelligent knowledge and database management system prototype) uses for enforcing acyclicities of binary Cartesian function products, characterizes it -proving that it is complete, sound, optimal, and linear- and, besides its pseudocode embedding SQL, also provides an example implementation in standard ANSI-99 SQL and MS VBA.
 
Keywords: 
Database constraint enforcement; Binary Cartesian function product acyclicity; MatBase; The (Elementary) Mathematical Data Model
 
Full text article in PDF: