Logic and Databases Past, Present, and Future

Jack Minker


At a workshop held in Toulouse, France, in 1977, Gallaire, Minker, and Nicolas stated that logic and databases was a field in its own right. This was the first time that this designation was made. The impetus for it started approximately 20 years ago in 1976 when I visited Gallaire and Nicolas in Toulouse, France. In this article, I provide an assessment about what has been achieved in the 20 years since the field started as a distinct discipline. I review developments in the field, assess contributions, consider the status of implementations of deductive databases, and discuss future work needed in deductive databases.

Full Text:


DOI: https://doi.org/10.1609/aimag.v18i3.1304

Copyright © 2017, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rights reserved.