Towards Visual Schemas in Deductive Databases
DEXA(1998)
摘要
We present a visual language expressive enough to capture an important subset of First Order Predicate Logic. 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.
更多查看译文
关键词
deductive databases,towards visual schemas,integrity constraints,first order
AI 理解论文
溯源树
样例
![](https://originalfileserver.aminer.cn/sys/aminer/pubs/mrt_preview.jpeg)
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要