On Database Systems Development Through Logic

The use of logic as a single tool for formalizing and implementing different aspects of database systems in a uniform manner is discussed. The discussion focuses on relational databases with deductive capabilities and very high-level querying and defining features. The computational interpretation o...

Descripción completa

Guardado en:
Detalles Bibliográficos
Publicado: 1982
Materias:
rational database
DATA BASE SYSTEMS
Acceso en línea:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03625915_v7_n1_p102_Dahl
http://hdl.handle.net/20.500.12110/paper_03625915_v7_n1_p102_Dahl
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires
id paper:paper_03625915_v7_n1_p102_Dahl
record_format dspace
spelling paper:paper_03625915_v7_n1_p102_Dahl2023-06-08T15:35:26Z On Database Systems Development Through Logic rational database DATA BASE SYSTEMS The use of logic as a single tool for formalizing and implementing different aspects of database systems in a uniform manner is discussed. The discussion focuses on relational databases with deductive capabilities and very high-level querying and defining features. The computational interpretation of logic is briefly reviewed, and then several pros and cons concerning the description of data, programs, queries, and language parser in terms of logic programs are examined. The inadequacies are discussed, and it is shown that they can be overcome by the introduction of convenient extensions into logic programming. Finally, an experimental database query system with a natural language front end, implemented in PROLOG, is presented as an illustration of these concepts. A description of the latter from the user's point of view and a sample consultation session in Spanish are included. © 1982, ACM. All rights reserved. 1982 https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03625915_v7_n1_p102_Dahl http://hdl.handle.net/20.500.12110/paper_03625915_v7_n1_p102_Dahl
institution Universidad de Buenos Aires
institution_str I-28
repository_str R-134
collection Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
topic rational database
DATA BASE SYSTEMS
spellingShingle rational database
DATA BASE SYSTEMS
On Database Systems Development Through Logic
topic_facet rational database
DATA BASE SYSTEMS
description The use of logic as a single tool for formalizing and implementing different aspects of database systems in a uniform manner is discussed. The discussion focuses on relational databases with deductive capabilities and very high-level querying and defining features. The computational interpretation of logic is briefly reviewed, and then several pros and cons concerning the description of data, programs, queries, and language parser in terms of logic programs are examined. The inadequacies are discussed, and it is shown that they can be overcome by the introduction of convenient extensions into logic programming. Finally, an experimental database query system with a natural language front end, implemented in PROLOG, is presented as an illustration of these concepts. A description of the latter from the user's point of view and a sample consultation session in Spanish are included. © 1982, ACM. All rights reserved.
title On Database Systems Development Through Logic
title_short On Database Systems Development Through Logic
title_full On Database Systems Development Through Logic
title_fullStr On Database Systems Development Through Logic
title_full_unstemmed On Database Systems Development Through Logic
title_sort on database systems development through logic
publishDate 1982
url https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03625915_v7_n1_p102_Dahl
http://hdl.handle.net/20.500.12110/paper_03625915_v7_n1_p102_Dahl
_version_ 1768541562831110144

Ejemplares similares