О ПОСТРОЕНИИ ВОССТАНОВЛЕНИЙ БАЗ ДАННЫХ ДЛЯ НЕКОТОРЫХ КЛАССОВ ФОРМУЛ-ОГРАНИЧЕНИЙ |
| 5 | |
| 2012 |
| научная статья | 510.635 | ||
| 214-218 | база данных, модель, восстановление, исчисление предикатов, противоречие |
| Рассматривается использование формальных логических моделей для устранения противоречий в содержимом баз данных. Восстановление баз данных строится посредством удаления кортежей. Рассматриваются способы построения наилучшего восстановления для некоторых классов формул. |
 |
| 1 . Motro A. Imprecision and Incompleteness in Relational Databases: Survey // Information and Software Technology. 1990. V. 32. № 9. P. 579–588. 2 . Motro A. Management of Uncertainty in Database Systems // Modern Database Systems: the Object Model, Interoperability and Beyond / Kim W., Ed. Addison-Wesley/ACM Press, 1994. P. 457–476. 3 . Motro A. Sources of Uncertainty, Imprecision and Inconsistency in Information Systems // Uncertainty Management in Information Systems: From Needs to Solutions / Motro A., Smets P., Eds. Kluwer Academic Publishers, 1996. Ch. 2. P. 9–34. 4 . Motro A. Integrity = Validity + Completeness // ACM transactions on Database Systems. 1989. V. 14. № 4. P. 480–502. 5 . Chomiki J., Lobo J. and Naqvi S. Conflict Resolution Using Logic Programming // IEEE Transactions on Knowledge and Data Engineering. 2003. № 15(1). P. 244–249. 6 . Chomiki J. Semantic Optimization Techniques for Preference Queries // Information Systems. 2007. № 32(5). P. 670–684. 7 . Chomiki J., Marcinkowski J. Minimal-Change Integrity Maintenance Using Tuple Deletions // Information and Computation. 2005. № 197(1, 2). P. 90–121. 8 . Chomiki J. Computing Consistent Query Answers Using Conflict Hypergraphs // Proc. 13th ACM Conference on Information and Knowledge Management (CIKM). Washington D.C.: ACM Press, 2004. P. 417–426. 9 . Мендельсон Э. Введение в математическую логику / Пер. с англ. под ред. С.И. Адяна. 3-е изд. М.: Наука, 1984. 320 с. |