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
Autor principal: Dahl, V.
Formato: JOUR
Materias:
rational database
DATA BASE SYSTEMS
Acceso en línea: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 todo:paper_03625915_v7_n1_p102_Dahl
record_format dspace
spelling todo:paper_03625915_v7_n1_p102_Dahl2023-10-03T15:27:27Z On Database Systems Development Through Logic Dahl, V. 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. JOUR info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/2.5/ar 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
Dahl, V.
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.
format JOUR
author Dahl, V.
author_facet Dahl, V.
author_sort Dahl, V.
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
url http://hdl.handle.net/20.500.12110/paper_03625915_v7_n1_p102_Dahl
work_keys_str_mv AT dahlv ondatabasesystemsdevelopmentthroughlogic
_version_ 1807319239142408192

Ejemplares similares