Pregled bibliografske jedinice broj: 731938
Insufficiency of First Order Logic as a Database Query Language
Insufficiency of First Order Logic as a Database Query Language // Proceedings of 5th SONT, International Symposium on New Technologies / Srb, Neven (ur.).
Poreč: Elektrotehničko društvo Zagreb, 1995. str. 219-222 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
CROSBI ID: 731938 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Insufficiency of First Order Logic as a Database Query Language
Autori
Bogunović, Nikola
Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni
Izvornik
Proceedings of 5th SONT, International Symposium on New Technologies
/ Srb, Neven - Poreč : Elektrotehničko društvo Zagreb, 1995, 219-222
ISBN
953-6228-00-9
Skup
5th SONT, International Symposium on New Technologies
Mjesto i datum
Poreč, Hrvatska, 25.09.1995. - 27.09.1995
Vrsta sudjelovanja
Predavanje
Vrsta recenzije
Međunarodna recenzija
Ključne riječi
database; deductive systems; logic programming
Sažetak
The paper explores “logic+control” programming paradigm, applied to a relational domain. Even though it looks natural to utilize first order logic as a database query language, the paper reveals some shortcomings of such an approach. Particular attention is paid to: a) the semantics of negation and other non-monotonic reasoning notions, b) infinite or time consuming recursions, c) embedded PROLOG data structures and control mechanisms. The dual interpretation of logic programs (procedural and declarative) provides a ground to study formalisms for non-monotonic reasoning. It is shown that the formal meaning of negation, which grew out of an attempt to capture commonsense reasoning, is not complete and renders some PROLOG control mechanisms unsound. Moreover, attempts to better understand negation led to mechanisms that often do not terminate due to infinite positive or negative loops.
Izvorni jezik
Engleski
Znanstvena područja
Računarstvo
