Логічні системи управління базами даних

Приблизно в середині 1980-х років в співтоваристві фахівців в області баз даних стала виявлятися помітна тенденція по переходу до досліджень систем баз даних, заснованих на логіці Унауковій літературі почали зявлятися такі вирази, як логічна база даних СУБД, заснована на логічному висновку експертна СУБД дедуктивна СУБД база знань система управління базами знань(СУБЗ),логіка як модель даних рекурсивна […]

ДЕЯКІ СЛІДСТВА викладеною схемою

Використання підходу з тризначною логікою, описаної в попередньому розділі, має ряд логічних наслідків, причому деякі з них зовсім не очевидні У даному розділі обговорюються ці слідства і їх значення Перетворення виразів Насамперед, відзначимо, що вирази, які в двухзначной логіці завжди повертають значення true, в тризначній логіці не обовязково будуть завжди давати той же результат Нижче […]