LogoTver State University Repository

Сложность обновлений дедуктивных баз данных с фиксированным ограничением целостности

Дудаков, С.М. (2003) Сложность обновлений дедуктивных баз данных с фиксированным ограничением целостности. Вестник ТвГУ. Серия: Прикладная математика (1). pp. 16-27. ISSN 1995-0136

[img]
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 By: И.С. Солдатенко
Deposited On:08 Jan 2017 08:14
Last Modified:08 Jan 2017 08:14

Repository Staff Only: item control page