49. P
par
( SprPodrazd, t(CodeEducInst,v), t(CodePodrazd, d),
t(CodeKindPodrazd, v), t(Podrazd, h), t(BriefPodrazd, h))
50.
P
par
(SprKindsPodrazd, t(t(CodeKindPodrazd, d),
t(KindPodrazd, h), t(BriefKindPodrazd, h))
51.
P
par
(SprEducInst, t(CodeEducInst, d), t(CodeMinistVedomst,
v), t(CodeKindEducInst, v), t(CodeProfEducInst, v),
t(EducInst, h), t(BriefEducInst, h), t(CodeAdress, v), t(Head,
h), t(WorkPhone, h), t(Fax, h))
52.
P
par
(SprProfilEducInst, t(CodeProfEducInst, d), t(ProfEducInst,
h))
53.
P
par
(SprMinisterstvVedomstv, t(CodeMinistVedomstv, d),
t(MinisterstvoVedomstvo, h), t(BriefMinisVedom, h))
54.
P
par
(SprKindEducInst, t(CodeKindEducInst, d),
t(KindEducInst, h), t(BriefKindEducInst, h))
55.
P
par
(SprSpecEducInst, t(CodeEducInst, v), t(ShifrSpecNapr, d),
t(CodePodrKaf, v), t(NSpecInFak, h))
56.
P
par
(SprSpecNapr, t(ShifrSpecNapr, d), t(ShifrCrNaprSpec, v),
t(ShifrNaprDiplSpec, v), t(SpecNapr, h), t(BriefSpec, h))
57.
P
par
(SprKindProfDeyat, t(CodeKindProfDeyat, d),
t(KindProfDeyat, h))
58.
P
par
(SprImportWorks, t(CodeImportants, d), t(Importants, h))
59.
P
par
(VIP, t(CodeEducInst, v), t(CodeStudent, v),
t(CodeImportants, v))
60.
P
par
(SprKindSportPotok, t(CodeKindSportP, d), t(KindSportP,
h))
61.
P
par
(SprPotok, t(CodeEducInst, v), t(CodePotok, d),
t(CodeKindPotok, v), t(ShifrSpecNapr, v), t(CodeFormStudy,
v), t(ShifrPotok, h), t(CodeDiscip, v), t(CodeForLang, v),
t(CodeKindSportP, v))
62.
P
par
(Vipusknik, t(CodeEducInst, v), t(CodeStudent, v),
t(ShifrSpecNapr, v), t(CodePredpr, v), t(ShifrSpecNaprWork,
v), t(CodeDolzhn, v), t(CodeSferiProfDeyat, v),
t(CodeKindProfDeyat, v), t(CodeAdress, v), t(Phone, h),
t(SignSpons, h), t(Comment, h), t(SignRedDipl, h), t(SrBall,
h))
63.
P
par
(SponsLeavStud, t(CodeEducInst, v), t(CodeStudent, v),
t(DateSpons, h), t(CodePodrazd, v), t(CodeVidSpons, v),
t(Summa, h), t(Povod, h), t(Comment, h))
64.
P
par
(SprVidSponsir, t(CodeVidSpons, d), t(VidSpons, h))
65.
P
par
(SprKindTerritUnit, t(CodeKindTerritUnit, d),
t(KindTerritUnit, h), t(BriefKindTerritUnit, h))
66.
P
par
(SprTerritUnit, t(CodeCountry, v), t(CodeKindTerritUnit,
v), t(CodeTerritUnit, d), t(TerritUnit, h), t(BriefTerritUnit, h))
67.
P
par
(SprCountry, t(CodeCountry, d), t(Country, h),
t(BreifCountry, h))
68.
P
par
(SprDistrict, t(t(CodeCountry, v), t(CodeKindTerritUnit, v),
t(CodeTerritUnit, v), t(CodeDistrict, d), t(District, h),
t(BriefDistrict, h))
69.
P
par
(SprAdrNasP, t(CodeAdrNasP, d), t(CodeCountry, v),
t(CodeKindTerritUnit, v), t(CodeTerritUnit, v), t(CodeDistrict,
d), t(CodeKindNasPunkt, v), t(NasPunkt, h), t(BriefNasPunkt),
h))
70.
P
par
(SprKindNasPunkt, t(CodeKindNasPunkt, d),
t(KindNasPunkt, h), t(BriefKind NasPunkt, h))
71.
P
par
(SprPredpr, t(CodePredpr, d), t(Predpr, h), t(BriefPredpr, h),
t(CodeAdress, v))
72.
P
par
(SprStreet, t(CodeStreet, d), t(Street, h), t(BriefStreet, h))
73.
P
par
(SprKindStreets, t(CodeKindStreet, d), t(KindStreet, h),
t(BriefKindStreet, h))
74.
P
par
(Sotrudnik, t(CodeEducInst, v), t(CodeSotrudnik, d),
t(CodePodrazd, v), t(CodeDolzhn, v), (CodeHuman, v))
75.
P
par
(SprDolzhn, t(CodeDolzhn, d), t(Dolzhn, h), t(BriefDolzhn,
h))
76.
P
par
(StudentDinamData, t(CodeEducInst, v), t(CodeStudent, v),
t(ShifrSpecNapr, v), t(CodePrikazRaspor, v), t(CodeMoveSt,
v), t(CodeFormStudy, v))
77.
P
par
(SprMoveStud, t(CodeMoveSt, d), t(MoveSt, h))
78.
P
par
(StudAddEduc, t(CodeEducInst, v), t(CodeStudent, v),
t(ShifrSpecNapr, v), t(YearAdmitted, h))
79.
P
par
(StudDataAboutEduc, t(CodeEducInst, v), t(CodeStudent,
v), t(YearFinish, h), t(AverageBal, h))
80.
P
par
(SprKindStudent, t(CodeKindStudent, d), t(KindStudent,
h))
81.
P
par
(SprMilitaryRel, t(CodeMilitaryRel, d), t(MilitaryRel, h))
82.
P
par
(SprMerried, t(CodeMerried, d), t(Married, h))
83.
P
par
(StudAdrNotRegistration, t(CodeEducInst, v),
t(CodeStudent, v), t(CodeAdress, v))
84.
P
par
(StudEdPrize, t(CodeEducInst, v), t(CodeStudent, v),
t(CodeKindNagr, v), t(DateGertPrize, h), t(PrizWhatIs, h),
t(FormalEvent, h), t(Summa, h), t(Comment, h))
85.
P
par
(ParentStud, t(CodeEducInst, v), t(CodeStudent, v),
t(CodeRodRel, v), t(CodeHuman, v), t(CodeAdress, v),
t(PlaceWork, h), t(Status, h), t(Phone, h), t(WorkPhone, h), )
86.
P
par
(SprRodRel, t(CodeRodRel, d), t(RodRel, h))
87.
P
par
(OplataStudKontrakt, t(CodeEducInst, v), t(CodeStudent,
v), t(CodeDogov, v), t(NOplata, d), t(CodePrikazRaspPeny, v),
t(CodePrikazRaspInd, v), t(CodeKindOplata, v),
t(CodeBuchDoc, v), t(NBuchDoc, h), t(SumOplata, h),
t(DateOplata, h), t(OstatokOplata, h))
88.
P
par
(SprBuchDoc, t(CodeBuchDoc, d), t(BuchDoc, h))
89.
P
par
(SprKindOplata, t(CodeKindOplata, d), t(KindOplata, h),
t(ZachKoeff, h))
90.
P
par
(StudProdlSrOpl, t(CodeEducInst, v), t(CodeStudent, v),
t(CodeDogov, v), t(NOplata, v), t(DateProdl, h),
t(CodeOsnProdlOpl, v), t(IdentDokum, h))
91.
P
par
(SprOsnovanProdlOpl, t(CodeOsnprodlOpl, d), t(Osnovan,
h))
92.
P
par
(DogovPeny, t(CodePrikazRaspPeny, d), t(CodeEducInst,
v), t(SizePeny, h), t(FormCalc, h), t(DateIn, h))
93.
P
par
(DogovIndex, t(CodePrikazRaspInd, v), t(CodeEducInst, v),
t(SizeIndex, h), t(DateIn, h))
94.
P
par
(ZaklDogov, t(CodeEducInst, v), t(CodeStudent, v),
t(CodeDogov, d), t(CodeKindDogov, v), t(NDogov, h),
t(CodePeridOplat, v), t(SumZaklDogov, h), t(DateZahlDogov,
h), t(ContrSrokOpl, h))
95.
P
par
(StCultM, t(CodeEducInst, v), t(CodeStudent, v),
t(CodeKindCulture, v), t(CodeKindCultM, v), t(CodeStatus, v),
t(CodeKindDost, v), t(CodeKindNagr, v), t(SumPrem, h),
t(CodeAdrNasP, v), t(NameCultM, h), t(PlaceCultM, h),
t(DateCultM, h))
96.
P
par
(SprKindCultM, t(CodeKindCultM, d), t(KindCultM, h))
97.
P
par
(SprKindNagr, t(CodeKindNagr, d), t(KindNagr, h))
98.
P
par
(StudCulture, t(CodeEducInst, v), t(CodeStudent, v),
t(CodeKindCulture, v))
99.
P
par
(SprKindCulture, t(CodeKindCulture, d), t(Culture, h))
100.
P
par
(SprKindDogov, t(CodeKindDogov, d), t(KindDogov,
h))
101.
P
par
(SprPeriodOplat, t(CodePeridOplat, d), t(PeriodOplat, h))
102.
P
par
(Adress, t(CodeAdress, d), t(CodeAdrNasP, v),
t(CodeKindStreet, v), t(CodeStreet, v), t(NHouse, h), t(NFlat,
h), t(NStroenie, h), t(NKorpus, h), t(E_mail, h))
103.
P
par
( Human, t(CodeHuman, d), t(SurName, h), t(Name, h),
t(Otchestvo, h), t(BirthDay, h), t(CodeSex, v))
Группа 3. Предикаты, составляющие знания о взаимосвязи терминов логической и физической
моделей данных
1. P
s
( студент, Student,
r
tr
t
)
2.
P
s
( t(образовательный, учреждение), SprEducInst,
r
tr
t )
3.
P
s
( человек, Human,
r
tr
t )
4.
P
s
( фамилия, SurName,
r
tr
t )
5.
P
s
( имя, Name,
r
tr
t )
6.
P
s
( отчество, Otchestvo,
r
tr
t )
7.
P
s
( t(смена, фамилия), SignChangeFIO,
r
tr
t )
8.
P
s
(t(индивидуальный, номер,налогоплательщик), INN,
r
tr
t )
9.
P
s
( t(дата, рождение), BirthDay,
r
tr
t
)
10.
P
s
( t(место, рождение), BirthPlace,
r
tr
t )
11.
P
s
( фото, Photo,
r
tr
t )
12.
P
s
( t(год, поступление), YearPostup,
r
tr
t )
13.
P
s
( t(число, дети), CountChild,
r
tr
t )
14.
P
s
( адрес, Adress,
r
tr
t )
15.
P
s
( t(населенный, пункт ), SprAdrNasP,
r
tr
t )
16.
P
s
( t(вид, улица), Spr KindStreet,
r
tr
t )
17.
P
s
( улица, SprStreet,
r
tr
t )
121