Expressibility of higher-order logics on relational databases : proper hierarchies : a dissertation presented in partial fulfillment of the requirements for the degree of Doctor of Philosophy in Information Systems at Massey University, Wellington, New Zealand

Simple item page
dc.contributor.authorFerrarotti, Flavio Antonio
dc.date.accessioned2008-08-13T05:24:10Z
dc.date.available2008-08-13T05:24:10Z
dc.date.issued2008
dc.description.abstractWe investigate the expressive power of different fragments of higher-order logics over finite relational structures (or equivalently, relational databases) with special emphasis in higher-order logics of order greater than or equal three. Our main results concern the study of the effect on the expressive power of higher-order logics, of simultaneously bounding the arity of the higher-order variables and the alternation of quantifiers.en_US
dc.identifier.urihttp://hdl.handle.net/10179/678
dc.language.isoenen_US
dc.publisherMassey Universityen_US
dc.rightsThe Authoren_US
dc.subjectFinite model theoryen_US
dc.subjectDatabasesen_US
dc.subjectHigher order logicsen_US
dc.subjectExpressibilityen_US
dc.subjectQuantifier alternationen_US
dc.subject.otherFields of Research::280000 Information, Computing and Communication Sciences::280400 Computation Theory and Mathematics::280403 Logics and meaning of programsen_US
dc.titleExpressibility of higher-order logics on relational databases : proper hierarchies : a dissertation presented in partial fulfillment of the requirements for the degree of Doctor of Philosophy in Information Systems at Massey University, Wellington, New Zealanden_US
dc.typeThesisen_US
massey.contributor.authorFerrarotti, Flavio Antonio
thesis.degree.disciplineInformation Systemsen_US
thesis.degree.grantorMassey Universityen_US
thesis.degree.levelDoctoralen_US
thesis.degree.nameDoctor of Philosophy (Ph.D.)en_US
Files
Original bundle
Now showing 1 - 2 of 2
Thumbnail Image
Name:
02whole.pdf
Size:
715.89 KB
Format:
Adobe Portable Document Format
Description:
Download
Thumbnail Image
Name:
01front.pdf
Size:
127.66 KB
Format:
Adobe Portable Document Format
Description:
Download
License bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
license.txt
Size:
896 B
Format:
Item-specific license agreed upon to submission
Description:
Download
Collections
Theses and Dissertations