Navegar

Colección

Datos Estadísticas

Artículo

Estamos trabajando para incorporar este artículo al repositorio
Consulte el artículo en la página del editor
Consulte la política de Acceso Abierto del editor

Abstract:

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.

Registro:

Documento: Artículo
Título:On Database Systems Development Through Logic
Autor:Dahl, V.
Filiación:Buenos Aires University, Departamento de Matemática, Facultad de Ciencias Exactas y Naturales, Ciudad Universitaria de Núñez, Pab. I, 1428, Buenos Aires, Argentina
Palabras clave:rational database; DATA BASE SYSTEMS
Año:1982
Volumen:7
Número:1
Página de inicio:102
Página de fin:123
DOI: http://dx.doi.org/10.1145/319682.319700
Título revista:ACM Transactions on Database Systems (TODS)
Título revista abreviado:ACM Trans. Database Syst.
ISSN:03625915
Registro:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03625915_v7_n1_p102_Dahl

Referencias:

  • Brönnenberg, W.J.H.J., The question-answering system PHLIQAl. In Natural Communication with Computers (1979) Carl Hanser, Munich and Macmillan, 2. , London, L. Bolt
  • Clark, K.S., Negation as failure (1978) Logic and Data Bases, , H. Gallaire and J. Minker, Plenum, New York
  • Codd, E.F., A relational model of data for large shared data banks (1970) Commun. ACM, 23 (6), pp. 377-397. , June
  • Codd, E.F., Seven steps to rendezvous with the casual user (1974) Data Base Management, pp. 179-200. , J.W. Klirnbie and K.I. Koffeman, North-Holland, Amsterdam
  • Codd, E.F., Extending the database relational model to capture more meaning (1979) ACM Trans. Database Syst., 4 (4), pp. 397-434. , Dec
  • Coelho, H.M.F., A program conversing in Portuguese providing a library service (1979) Ph.D. Dissertation, Univ., , Edinburgh, Scotland
  • Colmerauera, A., Grammaires de métamorphose (1978) Natural Language Communication with Computer. Lecture Notes in Computer Sciences, , Springer-Verlag, New York
  • Dahl, V., Quantification in a three-valued logic for natural language question-answering systems (1979) Proc. 6th Int. Jt. Conf. Artificial Intelligence, , Tokyo, Japan, Aug
  • Dahl, V., A three-valued logic for natural language computer applications (1980) Proc. 20th Znt. Symp. Multipole Valued Logic, , Evanston, Ill., June
  • Dahl, V., Two solutions for the negation problem (1980) Logic Programming Workshop, , Debrecen, Hungary, July
  • Gallaire, H., Minker, J., Logic and Data Bases (1978) Plenum, , New York
  • Guizol, J., Meloni, H., Prolog modulaire (1976) Univ. Aix-Marseille, , France
  • Harris, L.R., Using the database itself as a semantic component to aid in the parsing of natural language data base queries (1978) Revision of Tech. Rep. TR77-2, , Dartmouth College, Hanover, N.H., Oct
  • Hendrix, G.G., Developing a natural language interface to complex data (1978) ACM Trans. Database Syst., 3 (2), pp. 105-147. , June
  • Kaplan, J., Cooperative responses from a portable natural language data base query system (1979) MS-CIS-79-26, Univ. Pennsylvania, , Philadelphia, April
  • Kowalski, R.A., Artificial Intelligence Series (1980) Logic for Problem Solving., , Elsevier North-Holland, New York
  • Landsbergens, S.P.J., Scha, R.J.H., Formal languages for semantic representation (1976) Philips Res. Lab., , Eindhoven, Holland
  • Mccord, M., Using slots and modifiers in logic grammars for natural language (1980) Tech. Rep. 69-80, Univ., , Kentucky, Lexington
  • Pereira, F., Warren, D., Definite clause grammars for language analysis-A survey of the formalism and a comparison with augmented transition networks (1980) Artif Intell., 13, pp. 231-278
  • Pirowe, A., High level data base querying languages (1978) Logic and Data Bases, , H. Gallaire and J. Minker, Plenum, New York
  • Reiter, R., On closed world data bases (1978) Logic and Data Buses, , H. Gallaire and J. Minker
  • Robinson, J.A., A machine-oriented logic based on the resolution principle (1965) J. ACM 12, pp. 23-34
  • Rousselp, H., Prolog: manuel de reference et d'utilisation (1975) Univ. Aix-Marseille, , France
  • Thompson, F.B., REL: A Rapidly extensible language system (1969) Proc. 24th Nut. Conf ACM, , New York
  • Waltz, D.L., Natural language access to a large data base (1975) AD-A013-578, Illinois Univ. at Urbana-Champaign, , April
  • Warren, D., Prolog-The language and its implementation compared with Lisp (1977) ACM Symposium on Artificial Intelligence and Programming Languages, , SZGPLAN/SZGART Newsletter, Rochester, N.Y., Aug
  • Warren, D., Efficient processing of interactive relational database queries expressed in logic (1981) Proc. 7th Znt. Conf Very Large Data Buses, , Cannes, France
  • Warren, D., Pereira, F., An efficient easily adaptable system for interpreting natural language queries (1981) Dep. Artificial Intelligence, Univ., , Edinburgh, Scotland
  • Woods, W.A., The lunar sciences natural language information system: Final report (1972) BBN Rep. 2378, Bolt Beranek and Newman, , Inc, Cambridge, Mass

Citas:

---------- APA ----------
(1982) . On Database Systems Development Through Logic. ACM Transactions on Database Systems (TODS), 7(1), 102-123.
http://dx.doi.org/10.1145/319682.319700
---------- CHICAGO ----------
Dahl, V. "On Database Systems Development Through Logic" . ACM Transactions on Database Systems (TODS) 7, no. 1 (1982) : 102-123.
http://dx.doi.org/10.1145/319682.319700
---------- MLA ----------
Dahl, V. "On Database Systems Development Through Logic" . ACM Transactions on Database Systems (TODS), vol. 7, no. 1, 1982, pp. 102-123.
http://dx.doi.org/10.1145/319682.319700
---------- VANCOUVER ----------
Dahl, V. On Database Systems Development Through Logic. ACM Trans. Database Syst. 1982;7(1):102-123.
http://dx.doi.org/10.1145/319682.319700