Abstract  Although  deductive  databases  is  based  on  a  well  est ablished  formalism,  they  didn't  know  the  expected  success.  Their use was limited to the academic purpose. Inde ed, the deductive database management systems are j udged abstract, rare  in commercial offers, and often expensive.  In amon g the abstract concepts of the deductive databases, we mention the case of  the  negation  and  its  treatment  by  the  stratificatio n.  In  this  paper,  we  propose  a  convivial  approach  t hat  aims  to  make  transparent theses concepts relatively abstracted a nd to permit a friendly usse of deductive databases  and stratified database.  This  approach  permits  to  simplify  concepts,  which  a lways  remain  delicate  for  this  type  of  databases  users  or  designers,  like  (1)  the  definition  of  a  deductive  and/or  stratified   database  (2)  the  study  of  the  stratifiability,  (3)  the  determination  of  the  maximal  stratification,  (4)  the  incremental  definit ion  of  strata  and  (5)  the  checking  of  integrity  con straints.  These  operations  become  more  delicate  if  the  database  is  voluminous.   The  proposed  system  supports  rules  update  and  is  n ot  limited  to  facts  updating as in known deductive systems. This approa ch is implemented and validated with VI_SDB tool ba sed on an extension  of predicates nets.     

References

[1] Apt R. and Pugin J., Management of Stratified Databases, Technical Report CS-TR-87-41 , University of Texas at Austin, USA, 1987.

[2] Apt R., Handbook of Theoretical Computer Science , Elsevier, 1991.

[3] Barkaoui K., Boudrigua N., and Touzi A., A Transition Net Formalism for Deductive Databases Efficiently Handling Quering and Integrity Constrains, in Proceedings of Database and Expert Systems Applications (DEXA) , Spain, p. 221-225, 1992.

[4] Brink S., A Petri Net Design Simulation and Verification Tool, http://www.csh.rit.edu/~rick, 1996.

[5] Bry F., Logic Programming as Constructivism: A Formalization and its Application to Databases, in Proceedings of Principles of Database Systems (PODS) , USA, pp. 34-50, 1989.

[6] Gardarin G., Bases de Donn es Objet et Relationnel, Eyrolles, 2000.

[7] Grissa A., Contribution l Etude, la Conception et au Prototypage des Bases de Donn es D ductives, PhD Thesis, Tunisia, 1994.

[8] Grissa A., Jerad C., and Ounelli H., New Approach for Manipulation of Stratified Programs, World Enformatika Conference , USA, pp. 256-259, 2005.

[9] Grissa A. and Ounelli H., XDatalog: A Language for Deductive and Stratified Databases, International Journal of Computer Science and Network Security , vol. 5, no. 10, pp. 84-93, 2005.

[10] Jager G. and Stark R., The Defining Power of Stratified and Hierarchical Logic Programs, Computer Journal of Logic Programming , vol. 1, no. 3, pp. 55-77, 1993.

[11] Jerad C., Outil d Analyse des Bases de Donn es D ductives Formul es l Aide des R seaux Pr dicats Etendus Stratifi s, Master Memory, Tunisia, 2003.

[12] Jerad C., Grissa A., and Ounelli H., STRPRO Tool for Manipulating Stratified Programs Based on SEPN, in Proceedings of World Enformatika Conference , Turkey, pp. 252-255, 2005.

[13] Kiernan G. and De Maindreville C., The RDL/C Language Reference Manuel V1, Technical Report N 123 , 1990.

[14] Kolaitis G. and Vardi Y., On the Expressive Power of Datalog: Tools and a Case Study, Journal of Computer and System Sciences , vol. 51, no. 1, pp. 110-134, 1995.

[15] Lloyd W., Foundations of Logic Programming , Springer-Verlag, 1987.

[16] Mengchi L., Deductive Database Languages: Problems and Solutions, Computer Journal of Computing Surveys , vol. 31, no. 1, pp. 27-62, 1999.

[17] Minker J. and Apt R., Foundations of Deductive Databases and Logic Programming , Morgan Kaufmann Publishers, 1988.

[18] Ramakrishnan R., Srivastava D., Sudarshan S., and Seshadri P., Implementation of the CORAL Deductive Database System, in Proceedings of ACM SIGMOD on the Management of Data , United States, pp. 167-176, 1993.

[19] Ramamohanarao K. and Harland J., An Introduction to Deductive Database Languages and Systems, The International Journal on Very Large Data Bases (VLDB) , vol. 3, no. 2, pp. 107- 122, 1994.

[20] Touzi A. and Barkaoui K., Un Formalisme de Mod lisation et d Optimisation des Bases de Donn es D ductives Bas sur la Th orie des R seaux de Petri de Haut Niveau, 2 nd Maghrebine Conference on Software Engeneering and Artificial Intelligence , Tunis, pp. 99-115, 1992.

[21] Ullman D., Principles of Database and Knowledge Base Systems , Computer Science Press, 1988.

[22] Ullman D., Implementation of Logical Query Languages for Databases, Computer Journal of Transactions on Database Systems (TODS ), vol. 10, no. 3, pp. 289-321, 1986. Amel Touzi received the Diploma of engineering in computer science and PhD in computer science from the Faculty of Sciences of Tunis, Tunisia in 1989 and 1994, respectively. Currently, she is an assistant professor at the Department of Technologies of Information and Communications in the National School of Engineering of Tunis. The International Arab Journal of Information Technology, Vol. 6, No. 4, October 2009 11 The International Arab Journal of Information Technology, Vol. 6, No. 4, October 2009 11 The International Arab Journal of Information Technology, Vol. 6, No. 4, October 2009 11 The International Arab Journal of Information Technology, Vol. 6, No. 4, October 2009 11