Cтраница 1
Проблема выводимости в конструктивном исчислении высказываний с сильным отрицанием, Докл. [1]
При некоторых ограничениях проблема выводимости для табличных зависимостей разрешима. [2]
При этом предполагается, что имеется некоторое хорошее описание предметной области, позволяющее сводить проблему истинности предложений к подходящей проблеме выводимости формул в чистом исчислении предикатов. [3]
Следствие 5.1.2. Существует обратимая система Поста над алфавитом а, Ь и с конечным числом соотношений, для которой проблема выводимости слов из а неразрешима. [4]
Применяя тот же метод, что и в предложении 5.1.1, можно построить необратимую систему Поста Ф3 над алфавитом A U из 14 букв и с 88 соотношениями, обладающую свойством: и н v в 2, если и только если иа va в з - Следовательно, в ffz проблема выводимости слов из feama неразрешима. [5]
Первое в основном опирается на аппарат формально-логических теорий и связано с изучением качественных свойств моделей данных и их семантическим обоснованием. В ней изучаются ограничения, накладываемые предметной областью, определяющие связи между компонентами БД и описывающие поведение БД во времени. Ограничения целостности могут быть использованы в качестве языка описания семантики БД. Изучаются особого вида ограничения целостности, называемые зависимостями. Изучается проблема выводимости некоторой данной зависимости из заданного списка зависимостей. Выделены классы зависимостей, в которых эта проблема неразрешима и Р - или NP-разрешима. При разрешимости проблемы выводимости актуальной становится задача об аксиоматизации соответствующего класса зависимостей. Известны случаи аксиоматизируемых и неаксиоматизируемых классов. [6]
Роль Т здесь успешно исполняет, напр. Геделя о неполноте отсюда следует, что Л [ ц и сильнее А [ Н ], так что А. Так как класс 2 j содержит алгорифмически неразрешимый предикат, отсюда следует, что проблема выводимости в А. [7]
Первое в основном опирается на аппарат формально-логических теорий и связано с изучением качественных свойств моделей данных и их семантическим обоснованием. В ней изучаются ограничения, накладываемые предметной областью, определяющие связи между компонентами БД и описывающие поведение БД во времени. Ограничения целостности могут быть использованы в качестве языка описания семантики БД. Изучаются особого вида ограничения целостности, называемые зависимостями. Изучается проблема выводимости некоторой данной зависимости из заданного списка зависимостей. Выделены классы зависимостей, в которых эта проблема неразрешима и Р - или NP-разрешима. При разрешимости проблемы выводимости актуальной становится задача об аксиоматизации соответствующего класса зависимостей. Известны случаи аксиоматизируемых и неаксиоматизируемых классов. [8]
Первое в основном опирается на аппарат формально-логических теорий и связано с изучением качественных свойств моделей данных и их семантическим обоснованием. В ней изучаются ограничения, накладываемые предметной областью, определяющие связи между компонентами БД и описывающие поведение БД во времени. Ограничения целостности могут быть использованы в качестве языка описания семантики БД. Изучаются особого вида ограничения целостности, называемые зависимостями. Изучается проблема выводимости некоторой данной зависимости из заданного списка зависимостей. Выделены классы зависимостей, в которых эта проблема неразрешима и Р - или NP-разрешима. При разрешимости проблемы выводимости актуальной становится задача об аксиоматизации соответствующего класса зависимостей. Известны случаи аксиоматизируемых и неаксиоматизируемых классов. [9]