Классика баз данных - статьи

       

НРМ утверждает, что не только


Замечание. Фактически, НРМ утверждает, что не только методы, но и атрибуты объектов могут и должны являются средством реализации таких ОО-концепций, как инкапсуляция, наследование и полиморфизм. Данное утверждение основывается на том факте, что теоретико-множественные и специальные операторы реляционной алгебры могут применяться к значениям отношения вне зависимости от того, являются ли эти значения хранимыми или вычисляемыми, что позволяет разделить задаваемое в описании объектного типа описание атрибута, на спецификацию и реализацию. В спецификации задается сигнатура атрибута - его имя и имя его значимого типа. Реализация определяет источник значения этого атрибута, указывая, является ли он хранимым или вычисляемым, и, в последнем случае, содержит вычисляющее выражение. Таким образом

  • Атрибуты объектов инкапсулируются в объектном типе. В общедоступной спецификации этого типа определяется только сигнатура атрибута. Описание реализации элемента, содержащее информация об источнике значения этого компонента, скрыто.

  • Атрибуты объектов наследуются. Спецификация типа-наследника включает спецификацию базового типа - в том числе и определенные в ней спецификации атрибутов.

  • Атрибуты объектных типов могут быть полиморфными. Реализация типов может меняться в процессе наследования, из чего, например, следует, что атрибут, определённый в родительском типе как хранимый, в типе-наследнике может стать вычисляемым (и наоборот), или что в процессе наследования может измениться вычисляющее выражение.

    Таким образом, перечисленные ОО концепции могут реализовываться всеми компонентами объектов - и атрибутами, и методами.


    Содержание  Назад  Вперед