Дудаков, С.М. (2003) Сложность обновлений дедуктивных баз данных с фиксированным ограничением целостности. Вестник ТвГУ. Серия: Прикладная математика (1). pp. 16-27. ISSN 1995-0136
Preview |
PDF
- Published Version
4MB |
Abstract
Статья продолжает [З, 4, 5, 6, 7]. Рассматривается вычислительная сложность обновлений баз данных с фиксированным ограничением целостности, которое представлено логической программой. Доказывается, что в такой ситуации вычислительная сложность не превосходит сложности аналогичной задачи в случае базисного ограничения целостности (но не фиксированного). Существуют такие ограничения целостности, для которых сложность в точности совпадает с «базисным» случаем.
Abstract (en)
The paper continues [3, 4, 5, б, 7]. Here we consider the computational complexity of database update problems in case when an integrity constraints being a logic program is fixed. We prove that in this case the computational complexity is less than or equal to the complexity in case of a ground non-fixed integrity constraints. And we construct some fixed integrity constraints using one predicate symbol for which the complexity is the same as in the case of ground non-fixed integrity constraints.
| Item Type: | Article |
|---|---|
| Additional Information: | Дудаков Сергей Михайлович, 170100, г. Тверь, ул. Желябова, 33, Тверской государственный университет, доцент кафедры информатики. |
| Subjects: | 5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. > 510.5 Теория алгоритмов и вычислимые функции > 510.52 Сложность алгоритмов 5 Математика. Естественные науки > 51 Математика > 519.6 Вычислительная математика, численный анализ > 519.68 Программирование и теория вычислительных машин |
| Divisions: | Университеты > TverSU > Faculties > PMK > Кафедра информатики |
| ID Code: | 1339 |
| Deposited On: | 08 Jan 2017 08:14 |
| Last Modified: | 08 Jan 2017 08:14 |
Repository Staff Only: item control page