Abstract
Database Management Systems deal usually with explicit data i.e. data explicitely introduced in the Database (DB). Deductive or inferential DB uses general rules to derive implicit data i.e. data not explicitely stored in the DB. The Codd’s relational model introduced as a formalism for information representation can be used to represent internal (system specific) data needed for the implementation of a deductive process over a relational DBMS. This representation remains user transparent.
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.
Bibliography
Adiba, M., Bancilhon, F., Delobel, C., Demolombe, R., Gallaire, H., Gardarin, G., Le Bihan, J., Nicolas, J.-M., Scholl, M., 1982,“Bases de Données : nouvelles perspectives”, Rapport du groupe BD3, ADI-INRIA, Paris (1982). Marseille (Jun. 1981).
Chang, C.L., 1978, DEDUCE 2. Further Investigations of Deduction in Relational Data Bases, in: “Logic and Data Bases”, H. Gallaire and J. Minker, ed., Plenum Publishing Corporation, New York, N.Y., 201:236.
Chang, C.L., 1979, On evaluation of queries containing derived relations in a relational data base, Journées d’études : Bases Formelles pour Bases de Données, Toulouse, France.
Chang, C.L., Lee, R.C.T., 1973, “Symbolic logic and mechanical theorem proving”, Academic Press, New York.
Codd, E.F., 1970, A relational model for large shared data banks, Comm. of the ACM, 13(6), 377:397
Date, C.J., 1981, “An introduction to database systems”, 3rd edition, Addison Wesley, Reading.
Furukawa, K., 1977, A deductive question answering system on relational databases, Proc. of 5th International Joint Conference on Artificial Intelligence, 1977, Cambridge, Mass., USA, 59:66.
Gallaire, H., and Minker,J. Eds., 1978, “Logic and Data Bases”, Plenum Press, New-York.
Gallaire, H., 1981, Impacts of logic on databases, Proc. 7th VLDB Conf., Cannes (Sept. 1981), 248:259.
Gallaire, H., Minker, J., Nicolas J.-M., 1984, Logic and Databases : a deductive approach, Computing Surveys, Vol. 16 n° 2.
Homeier, P.V., 1981, “Simplifying integrity constraints in a relational database : an implementation”, Master Thesis, University of California L.A., Los Angeles.
Kellogg, C., Travis, L., 1979, Reasoning with Data in a Deductively Augmented Data Management System, Journées d’Etudes : Bases Formelles pour bases de Données, Toulouse, France.
Lipski, W., Jr., 1979, On semantic issues connected with incomplete information databases, ACM TODS 4,3, 262:296.
Mendelson, E., 1978, “Introduction to mathematical logic”, 2nd edition, Van Nostrand, Princeton (1978).
Minker, J., 1978, Search strategy and selection function for an Inferential Relational System, ACM TODS, 3,1, 1:31
Nicolas, J.-M., 1982, Logic for improving integrity checking in relational databases, Acta Informatica 18, 227:253
Nicolas, J.-M., 1979, “Contribution l’étude théorique des bases de données -Apports de la logique mathématique”. Thèse d’Etat, Toulouse déc. 79, n° 902.
Nicolas, J.-M., Gallaire, H., 1978, Data Bases theory vs interpretation, in: “Logic and Data Bases”, H. Gallaire, J. Minker, ed., Plenum Press, New York N.Y., 33:54
Nicolas, J.-M., Yazdanian, K., 1978, Integrity checking in deductive data bases, in: “Logic and Data Bases”, H. Gallaire, J. Minker, eds., Plenum Press New York, N.Y., 325:343
Nicolas, J.-M., Yazdanian, K., 1983, An outline of BDGEN: a deductive DBMS, Proc. 9th IFIP Congress, Paris, France, 711:717.
Reiter, R., “Toward a logical reconstruction of relational database theory” personal communication.
Ullman, J.D., 1980, “Principles of database systems”, Computer Science Press, Woodlands Hills.
Yazdanian, K., 1977, “Coherence des bases de données déductives”, these de 3ème cycle, Toulouse, nov. 77, n° 2065
Yazdanian, K., 1984, Déduction dans les bases de données relationnelles, fondements logiques et mise en oeuvre, Journées d’études AFCET: “Bases de données, sécurité et intelligence”, Paris.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1987 Plenum Press, New York
About this chapter
Cite this chapter
Yazdanian, K. (1987). Use of the Relational Model for Data Representation in a Deductively Augmented Database Management System. In: Ghosh, S.P., Kambayashi, Y., Tanaka, K. (eds) Foundations of Data Organization. Springer, Boston, MA. https://doi.org/10.1007/978-1-4613-1881-1_4
Download citation
DOI: https://doi.org/10.1007/978-1-4613-1881-1_4
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4612-9048-3
Online ISBN: 978-1-4613-1881-1
eBook Packages: Springer Book Archive