Defining and translating visual schemas for deductive databases

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 sche...

Descripción completa

Detalles Bibliográficos
Autores: Puigsegur, J, Pastor Collado, Juan Antonio|||0000-0003-0955-5064, Agustí Segarra, Jordi
Tipo de recurso: informe técnico
Fecha de publicación:1998
País:España
Institución:Universitat Politècnica de Catalunya (UPC)
Repositorio:UPCommons. Portal del coneixement obert de la UPC
Idioma:inglés
OAI Identifier:oai:upcommons.upc.edu:2117/96492
Acceso en línea:https://hdl.handle.net/2117/96492
Access Level:acceso abierto
Palabra clave:First order predicate logic
Visual schemas
Deductive databases
Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació
id ES_e1f1849990bf3bc93ad0cfc8342207ae
oai_identifier_str oai:upcommons.upc.edu:2117/96492
network_acronym_str ES
network_name_str España
repository_id_str
spelling Defining and translating visual schemas for deductive databasesPuigsegur, JPastor Collado, Juan Antonio|||0000-0003-0955-5064Agustí Segarra, JordiFirst order predicate logicVisual schemasDeductive databasesÀrees temàtiques de la UPC::Informàtica::Sistemes d'informació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.19981998-06-0120162016-11-10reporthttp://purl.org/coar/resource_type/c_93fcVoRhttp://purl.org/coar/version/c_970fb48d4fbd8a85info:eu-repo/semantics/reportapplication/pdfhttps://hdl.handle.net/2117/96492reponame:UPCommons. Portal del coneixement obert de la UPCinstname:Universitat Politècnica de Catalunya (UPC)Inglésengopen accesshttp://purl.org/coar/access_right/c_abf2info:eu-repo/semantics/openAccessoai:upcommons.upc.edu:2117/964922026-05-27T15:37:01Z
dc.title.none.fl_str_mv Defining and translating visual schemas for deductive databases
title Defining and translating visual schemas for deductive databases
spellingShingle Defining and translating visual schemas for deductive databases
Puigsegur, J
First order predicate logic
Visual schemas
Deductive databases
Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació
title_short Defining and translating visual schemas for deductive databases
title_full Defining and translating visual schemas for deductive databases
title_fullStr Defining and translating visual schemas for deductive databases
title_full_unstemmed Defining and translating visual schemas for deductive databases
title_sort Defining and translating visual schemas for deductive databases
dc.creator.none.fl_str_mv Puigsegur, J
Pastor Collado, Juan Antonio|||0000-0003-0955-5064
Agustí Segarra, Jordi
author Puigsegur, J
author_facet Puigsegur, J
Pastor Collado, Juan Antonio|||0000-0003-0955-5064
Agustí Segarra, Jordi
author_role author
author2 Pastor Collado, Juan Antonio|||0000-0003-0955-5064
Agustí Segarra, Jordi
author2_role author
author
dc.subject.none.fl_str_mv First order predicate logic
Visual schemas
Deductive databases
Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació
topic First order predicate logic
Visual schemas
Deductive databases
Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació
description 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.
publishDate 1998
dc.date.none.fl_str_mv 1998
1998-06-01
2016
2016-11-10
dc.type.none.fl_str_mv report
http://purl.org/coar/resource_type/c_93fc
VoR
http://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.openaire.fl_str_mv info:eu-repo/semantics/report
format report
dc.identifier.none.fl_str_mv https://hdl.handle.net/2117/96492
url https://hdl.handle.net/2117/96492
dc.language.none.fl_str_mv Inglés
eng
language_invalid_str_mv Inglés
language eng
dc.rights.none.fl_str_mv open access
http://purl.org/coar/access_right/c_abf2
dc.rights.openaire.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv open access
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:UPCommons. Portal del coneixement obert de la UPC
instname:Universitat Politècnica de Catalunya (UPC)
instname_str Universitat Politècnica de Catalunya (UPC)
reponame_str UPCommons. Portal del coneixement obert de la UPC
collection UPCommons. Portal del coneixement obert de la UPC
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869422340161404928
score 15,198674

Similares en LA Referencia