a definite deductive database system (DDDBS) in prolog

• Autores: Matilde Celma Giménez , Lidia Moreno Boronat
• Localización: Mini and Microcomputers and their applications / Emilio Luque Fadón (ed. lit.) , 1988, págs. 183-185
• Idioma: inglés
• Texto completo no disponible (Saber más ...)
• Resumen

  • The first order logic has been used as a formal support to study classical database problems: query languages, integrity modelling and database schema analysis. Furthemore, logic allows [...]