object instance
:
(oid,os,ip)
object-id
-- oid
object-schema
-- os = (fd,fi)
set of statements
-- ip: name = v and name = v IN f