Актуальная информационная база (ACTUAL INFORMATION BASE)
информационная база, существующая в указанный момент или период времени, который квалифицируется как «сейчас», и отражающая дополнительные высказывания, отличные от необходимых.
логическая модель, в которой любое выражение может иметь одно из трех значений: True, False или Null.
Доказываются 27 свойств, связывающих предполные классы трехзначной логики.
Приводится система из 36 аксиом, связывающих предполные классы трехзначной логики. На основе этих аксиом (и двойственных к ним) строится множество из 406 строк, в котором представлены все возможные варианты распределения трехзначных функций по предполным классам.
информационная база, существующая в указанный момент или период времени, который квалифицируется как «сейчас», и отражающая дополнительные высказывания, отличные от необходимых.
индекс доступа, в котором сведения о местоположении искомой порции данных устанавливают по вторичному ключу.
это модель, ориентированная на реализацию БД в конкретной СУБД, т.е. это инфологическая модель, трансформированная с учетом требований и ограничений конкретной СУБД (тип модели данных, поддерживаемой СУБД, формат данных, возможности по обеспечению целостности данных и т.д.).
Наведи камеру телефона на QR-код — бот Автор24 откроется на вашем телефоне