Abstract
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.
Preview
Unable to display preview. Download preview PDF.
References
J. AgustÃ, J. Puigsegur, and D. Robertson. A Visual Syntax for Logic and Logic Programming. Journal of Visual Languages and Computing, 1998. To appear.
G. Alwein and J. Barwise, editors. Logical Reasoning with Diagrams. Oxford University Press, New York, 1996.
M. Borman, J. A. Bubenko, P. Johannensson, and B. Wangler. Conceptual Modelling. Prentice Hall, 1997.
J. A. Bubenko. Extending the scope of information modelling. In Proc. Fourth Int. Workshop on the Deductive Approach to Information Systems and Databases, pages 73–98, Lloret, Catalonia, 1993.
T. Catarci and G. Santucci. Diagrammatic vs Textual Query Languages: A Comparative Experiment. In Stefano Spaccapietra and Ramesh Jain, editors, Proc. of the 3rd IFIP 2.6 Working Conference on Visual Database Systems, 1995.
H. Gallaire, J. Minker, and J.M. Nicolas. Logic and databases: A deductive approach. ACM Computing Surveys, 16(2):153–185, 1984.
IBM Business Systems Development Method Technical Description. Technical Report Tech. Reps. GE19-5387, SC19-53(09,10,12,13), International Business Machines Corporation, 1992.
J.W. Lloyd. Foundations on Logic Programming, 2nd. ed. Springer, 1987.
J. Puigsegur and J. Agusti. Visual Logic Programming by means of Diagram Transformations. In Proc. of APPIA-GULP-PRODE Joint Conference in Declarative Programming, La Coruna, Spain, July 1998.
J. Puigsegur, J. Agusti, and D. Robertson. A Visual Logic Programming Language. In Proc. of the 12th IEEE Symposium on Visual Languages, Boulder, Colorado, September 1996.
J. Puigsegur, J. A. Pastor, and J. Agusti. Defining and Translating Visual Schemas for Deductive Databases. Research Report LSI-98-31-R, Department of LSI, Technical University of Catalonia, 1998.
J. Puigsegur, W. M. Schorlemmer, and J. AgustÃ. From Queries to Answers in Visual Logic Programming. In Proc. of the 13th IEEE Symposium on Visual Languages, Capri, Italy, September 1997.
D. D. Roberts. The Existential Graphs of Charles S. Peirce. Mouton and co., The Hague, 1973.
J. F. Sowa. Conceptual Structures. Information Processing in Mind and Machine.Addison Wesley, 1984.
R.J. Wieringa. Requirements Engineering: Frameworks for Understanding. Willey Publ., 1995.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Puigsegur, J., AgustÃ, J., Pastor, J.A. (1998). Towards visual schemas in deductive databases. In: Quirchmayr, G., Schweighofer, E., Bench-Capon, T.J. (eds) Database and Expert Systems Applications. DEXA 1998. Lecture Notes in Computer Science, vol 1460. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0054543
Download citation
DOI: https://doi.org/10.1007/BFb0054543
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64950-2
Online ISBN: 978-3-540-68060-4
eBook Packages: Springer Book Archive