Дудаков, С.М. (2003) Сложность обновлений дедуктивных баз данных с фиксированным ограничением целостности. Вестник ТвГУ. Серия: Прикладная математика (1). С. 16-27. ISSN 1995-0136
Предварительный просмотр |
PDF
- Опубликованная версия
4MB |
Абстракт
Статья продолжает [З, 4, 5, 6, 7]. Рассматривается вычислительная сложность обновлений баз данных с фиксированным ограничением целостности, которое представлено логической программой. Доказывается, что в такой ситуации вычислительная сложность не превосходит сложности аналогичной задачи в случае базисного ограничения целостности (но не фиксированного). Существуют такие ограничения целостности, для которых сложность в точности совпадает с «базисным» случаем.
Абстракт (англ.)
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.
| Тип объекта: | Статья |
|---|---|
| Сведения об авторах: | Дудаков Сергей Михайлович, 170100, г. Тверь, ул. Желябова, 33, Тверской государственный университет, доцент кафедры информатики. |
| Категории: | 5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. > 510.5 Теория алгоритмов и вычислимые функции > 510.52 Сложность алгоритмов 5 Математика. Естественные науки > 51 Математика > 519.6 Вычислительная математика, численный анализ > 519.68 Программирование и теория вычислительных машин |
| Подразделения: | Университеты > Тверской государственный университет > Факультеты > ПМиК > Кафедра информатики |
| ID Code: | 1339 |
| Deposited On: | 08 Янв 2017 08:14 |
| Последнее изменение: | 08 Янв 2017 08:14 |
Repository Staff Only: item control page