Abstract
Traditional database management systems provide excellent support for data storage and online transaction processing, but very little support for in-depth data analysis. The key missing element is technology that permits analysts to evolve a series of concepts that relate their hypotheses to computer accessible data. This can be provided by deductive database technology. In this chapter, we present IDEA, a data exploration and analysis tool which utilizes deductive database technology interfaced directly to commercial relational database management systems, providing the necessary technology to support advanced data analysis without requiring that organizations forsake their investment in relational databases.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
T. Arora, R. Ramakrishnan, W. Roth, P. Seshardi, and D. Srivastava. Explain: Generating explanations for deductive systems. In Proceed-ings of the International Conference on Deductive and Object-Oriented Databases, Phoenix, Arizona, 1993.
F. Bancilhon and et al. Magic sets and other strange ways to implement logic programs. In Proceedings of the Fifth ACM Symposium on Principles of Database Systems, 1986.
C. Beeri and R. Ramakrishnan. On the power of magic. Journal of Logic Programming, 10(3):255–300, April 1991.
R. Brachman, P. Selfridge, L Terveen, B. Altman, F. Halper, T. Kirk, A. Lazar, D. McGuiness, L. Resnick, and A. Borgida. Integrated support for data archaelogy. In Proceedings 1993 AAAI Workshop on Knowledge Discovery in Databases, pages 197–211. AAAI, 1993.
H. Gallaire, J. Minker, and J. Nicolas. Logic and databases: A deductive approach. Computing Surveys, 16(2):153–185, June 1984.
C. Green. Theorem proving by resolution as a basis for question-answering systems. In B. Meltzer and D. Michie, editors, Machine Intelligence 4, pages 183–205. Elsevier North-Holland, 1969.
Y. Ioannidis and Y. Kang. Randomized algorithms for optimizing large join queries. In Proceedings of the 1990 ACM-SIGMOD Conference on the Management of Data, pages 312–321, Atlantic City, NJ, May 1990.
Y. Loannidis and E. Wong. Query optimization by simulated annealing. In Proceedings of the 1987 ACM-SIGMOD Conference on the Management of Data, pages 9–22, San Francisco, CA, May 1987.
M. Jarke, J. Clifford, and Y. Vassiliou. An optimizing prolog front-end to a relational query. In Proceedings of the ACM SIGMOD Conference on Management of Data, 1984.
C. Kellogg and B. Livezey. Intelligent data exploration and analysis. In Proceedings of the Conference on Information and Knowledge Management, 1992.
R. Kerber. Learning classification rules from examples. In Proc. 1991 AMI Workshop on Knowledge Discovery in Databases. AAAI, 1991
R. Kerber. Comparison of the UNIMEM, COBWEB, and AUTOCLASS clustering algorithms. Technical Report AIC 93–137, Lockheed Artificial Intelligence Center, 1993.
J. McGuire. Query optimization to support a deductive data analysis tool. Tech. Rep. AIC 91–109, Lockheed Artificial Intelligence Center, 1991.
K. Morris, J. Ullman, and A. van Gelder. Design overview of the NAIL! system. In Proceedings of the Third International Conference on Logic Programming. Springer-Verlag, 1986.
S. Naqvi and S. Tsur. A Logical Language for Data and Knowledge Bases. Computer Science Press, 1989.
G. Phipps. Glue - a deductive database programming language. In Proceedings of the NALCP Workshop on Deductive Databases. Kansas State University, 1990.
R. Ramakrishnan, D. Srivastava, and S. Sudarshan. CORAL - a database programming language. In Proceedings of the International Conference on Very Large Databases, Vancouver, Canada, 1992.
W. Roth, R. Ramakrishnan, and P. Seshardi. Mimsy: A system for analyzing the stock market. In this book.
O. Shmueli and S. Tsur. Logical diagnosis of LDL programs. In Proceedings of the 7th Intl. Conference on Logic Programs, 1990.
E. Simoudis, D. Klumpar, and K. Anderson. Rapid visualization environment: Rave. In Proceedings of the 9th Goddard Conference on Space Applications of Artificial Intelligence, May 1994.
E. Simoudis, B. Livezey, and R. Kerber. Integrating inductive and deductive reasoning for database mining. In Proceedings 1994 AAAI Workshop on Knowledge Discovery in Databases. AAAI, 1991
C. Zaniolo. Prolog: A database query language for all seasons. In Proceedings of the Workshop on Expert Database Systems, Kiawa Island, South Carolina, 1984.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 Springer Science+Business Media New York
About this chapter
Cite this chapter
Livezey, B., Simoudis, E. (1995). A Deductive Front-End for Relational Databases. In: Ramakrishnan, R. (eds) Applications of Logic Databases. The Springer International Series in Engineering and Computer Science, vol 296. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-2207-2_3
Download citation
DOI: https://doi.org/10.1007/978-1-4615-2207-2_3
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4613-5926-5
Online ISBN: 978-1-4615-2207-2
eBook Packages: Springer Book Archive