Курганский Виктор Иванович (к.ф.-м.н., доцент, ФГБОУ ВПО Иркутский государственный университет)
|
Разработан реляционный метод диалогового решения логических задач. Доказано, что дедуктивная мощность метода не уступает классическим техникам логического вывода.
Ключевые слова:Реляционная гипотеза, реляционное исчисление высказываний, реляционная модель данных, секвенция, теоремы Кодда
|
|
|
Читать полный текст статьи …
|
Ссылка для цитирования: Курганский В. И. Реляционная модель данных как основа для решения логических задач // Современная наука: актуальные проблемы теории и практики. Серия: Естественные и Технические Науки. -2012. -№12. -С. 12-20 |
|
|