Труды КНЦ вып.9 (ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ вып. 10/2018(9))

с ф о р м у л и р о в а н ы п р а в и л а р е д у к ц и и , о с у щ е с т в л я ю щ и е у п о м я н у т ы е п р е о б р а з о в а н и я [ 2 0 ] . О с н о в н а я и д е я р а з р а б о т а н н о г о м е т о д а о б р а б о т к и S P A R Q L - з а п р о с о в к о н т о л о г и и с о с т о и т в т о м , ч т о б ы а н а л и з у п о д в е р г а е т с я н е в с я и с х о д н а я C S P ц е л и к о м , а в ы б и р а ю т с я о т д е л ь н ы е м а т р и ц ы , к о т о р ы е с о о т в е т с т в у ю т у н а р н ы м и б и н а р н ы м о г р а н и ч е н и я м ( о г р а н и ч е н и я м н а о д н у и л и д в е п е р е м е н н ы е ) . А н а л и з т а к и х м а т р и ц п о з в о л я е т о б р а б а т ы в а т ь м е н ь ш е е ч и с л о с т р о к и / и л и с т о л б ц о в , ч е м в и с х о д н о й з а д а ч е . П р и э т о м в ы я в л е н и е « л и ш н и х » з н а ч е н и й в д о м е н а х а т р и б у т о в к а к о й - л и б о м а т р и ц ы в л е ч е т у д а л е н и е э т и х ж е з н а ч е н и й и з д о м е н о в а т р и б у т о в в с е й з а д а ч и C S P , т о е с т ь в л и я е т н а в с е о г р а н и ч е н и я . В р е з у л ь т а т е м о г у т п о я в л я т ь с я н о в ы е у н а р н ы е и б и н а р н ы е о г р а н и ч е н и я , к к о т о р ы м в н о в ь п р и м е н я ю т с я а л г о р и т м ы р а с п р о с т р а н е н и я о г р а н и ч е н и й . П р и р а с п р о с т р а н е н и и о г р а н и ч е н и й с н а ч а л а о б р а б а т ы в а ю т с я у н а р н ы е о г р а н и ч е н и я , п о с к о л ь к у с и х п о м о щ ь ю м о ж н о н е п о с р е д с т в е н н о « с у з и т ь » д о м е н ы п е р е м е н н ы х . З а т е м а к т и в и р у ю т с я б и н а р н ы е о г р а н и ч е н и я , п о с к о л ь к у и х о б р а б о т к а б о л е е т р у д о е м к а . А к т и в а ц и я о г р а н и ч е н и й о с у щ е с т в л я е т с я п о с о б ы т и я м . К т а к и м с о б ы т и я м , в ч а с т н о с т и , о т н о с и т с я « у с е ч е н и е » д о м е н а . Т и п о в о й S P A R Q L - з а п р о с н а и з в л е ч е н и е д а н н ы х , к а к п р а в и л о , п р е д с т а в л я е т с о б о й д л и н н у ю с в я з к у ( j o i n ) ш а б л о н о в т р и п л е т о в , в к л ю ч а ю щ и х р а з л и ч н ы е и т р у д н о п р е д с к а з у е м ы е к о м б и н а ц и и п р е д и к а т о в , ч т о н е г а т и в н о в л и я е т н а с к о р о с т ь е г о в ы п о л н е н и я . П р и б о л ь ш и х о б ъ е м а х R D F - х р а н и л и щ п р и м е н е н и е р а з р а б о т а н н ы х м е т о д о в у д о в л е т в о р е н и я о г р а н и ч е н и й п о з в о л я е т у с к о р и т ь о б р а б о т к у S P A R Q L - з а п р о с о в п о с р а в н е н и ю с т р а д и ц и о н н ы м п о д х о д о м , б а з и р у ю щ и м с я н а д и н а м и ч е с к о м п р о г р а м м и р о в а н и и . Э т о о б у с л о в л е н о т е м , ч т о д и н а м и ч е с к о е п р о г р а м м и р о в а н и е п р е д п о л а г а е т р е а л и з а ц и ю с т р а т е г и и п о и с к а в « ш и р и н у » , а м е т о д ы у д о в л е т в о р е н и я о г р а н и ч е н и й и с п о л ь з у ю т п о и с к в « г л у б и н у » . П р и м е н е н и е м е т о д о в р а с п р о с т р а н е н и я о г р а н и ч е н и й , р а з р а б о т а н н ы х р а н е е о д н и м и з и с п о л н и т е л е й п р о е к т а , д л я у с к о р е н и я о б р а б о т к и S P A R Q L - з а п р о с о в к о н т о л о г и я м р а с с м а т р и в а е т с я в р а б о т е [ 2 1 ] . В к а ч е с т в е п р и м е р а п р е д с т а в л е н о ф о р м и р о в а н и е о т в е т а н а о д и н и з к в а л и ф и к а ц и о н н ы х в о п р о с о в о н т о л о г и ч е с к о г о п а т т е р н а с о д е р ж а н и я д л я п о н я т и я « П р о ц е с с и с с л е д о в а н и я » ( I n v e s t i g a t i o n ) . О п и с а н ы о г р а н и ч е н и я , с о п о с т а в л я е м ы е к а ж д о й с в я з и о н т о л о г и и , к о т о р а я ф и г у р и р у е т в р а с с м а т р и в а е м о м S P A R Q L - з а п р о с е , и и х п р е д с т а в л е н и е в в и д е С - с и с т е м с у ч е т о м в в е д е н н ы х к о н к р е т н ы х э к з е м п л я р о в к л а с с о в . О п и с а н н а я д а л е е в р а б о т е [ 2 1 ] п о ш а г о в а я с х е м а п р о ц е д у р ы р а с п р о с т р а н е н и я о г р а н и ч е н и й н а г л я д н о и л л ю с т р и р у е т м е х а н и з м р е д у к ц и и п р о с т р а н с т в а п о и с к а в п р о ц е с с е в ы в о д а р е ш е н и я C S P . Количественная оценка эффективности разработанных процедур распространения ограничений К а к п о к а з а л и и с с л е д о в а н и я а в т о р о в [ 2 2 ] , о б р а б о т к а к а ч е с т в е н н ы х з а в и с и м о с т е й , п р е д с т а в л е н н ы х в в и д е л о г и ч е с к и х в ы р а ж е н и й и п р а в и л , в с о в р е м е н н ы х с р е д а х п р о г р а м м и р о в а н и я в о г р а н и ч е н и я х н е д о с т а т о ч н о э ф ф е к т и в н а , и н е м о ж е т б ы т ь в ы п о л н е н а з а п р и е м л е м о е в р е м я д а ж е п р и с р а в н и т е л ь н о н е б о л ь ш о й р а з м е р н о с т и з а д а ч и . О т л и ч и е к а ч е с т в е н н ы х ( н е ч и с л о в ы х ) о г р а н и ч е н и й о т ч и с л о в ы х с о с т о и т в т о м , ч т о п е р е м е н н ы е д а ж е в р а м к а х о д н о г о о г р а н и ч е н и я м о г у т и м е т ь р а з л и ч н ы е к о н е ч н ы е о б л а с т и о п р е д е л е н и я , а с а м и о г р а н и ч е н и я , к а к п р а в и л о , н е я в л я ю т с я б и н а р н ы м и . 140