Resumen de a definite deductive database system (DDDBS) in prolog

Matilde Celma Giménez , Lidia Moreno Boronat

• 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 [...]