Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Defining and translating visual schemas for deductive databases

Autor
Puigsegur, J.; Pastor, J.; Agustí, J.
Tipus d'activitat
Document cientificotècnic
Data
1998-06
Codi
R98-31
Repositori
http://hdl.handle.net/2117/96492 Obrir en finestra nova
Resum
We present a visual language expressive enough to capture an important subset of First Order Predicate Logic as well as its straightforward translation to the logic-based paradigm of deductive databases. We use the diagrams of our language to represent all the components of a deductive database schema: base predicates, derived predicates with their deductive rules, and integrity constraints. Our diagrams are grounded on two powerful visual metaphors: Venn/Euler diagrams and graphs, familiar ...
Citació
Puigsegur, J., Pastor, J., Agustí, J. "Defining and translating visual schemas for deductive databases". 1998.
Paraules clau
Deductive databases, First order predicate logic, Visual schemas
Grup de recerca
IMP - Information Modeling and Processing

Participants

Arxius