Defining and translating visual schemas for deductive databases
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/96492
Tipus de documentReport de recerca
Data publicació1998-06
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
Abstract
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 to most designers; they are formal and independent of the application domain; they emphasize
basic forms of logic description, the diagrammatic syntax being
closer to the semantics; and they have a simple translation to
Horn clauses. Thus, we aim at a situation where the generality of deductive databases would be fostered by the expected greater
usability of visual schema languages in the hands of a wider
group of practitioners.
CitacióPuigsegur, J., Pastor, J., Agustí, J. "Defining and translating visual schemas for deductive databases". 1998.
Forma partLSI-98-31-R
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
R98-31.pdf | 294,1Kb | Visualitza/Obre |