FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1480135766> ?p ?o ?g. }

• W1480135766 endingPage "428" @default.
• W1480135766 startingPage "416" @default.
• W1480135766 abstract "The advantages of logic languages with respect to search-based computation are well-understood, while the advantages of functional languages with respect to dcterministic computation are becoming increasingly rccognised. It is therefore natural to investigate the dcvelopment of languages which reconcile the two paradigms. As a contribution to this effort, we extend an existing functional database language called PFL with sets as first class objects. The resulting language subsumes Datalog’““+ncs in the sense that any set of Datalogs’“+* rules can be translated into a set of PFL equations with the same semantics. Since functional and logic database languages can be considered as proper sub-languages of PFL, well-known optimisation techniques from both can usefully be employed (for example lazy evaluation for recursive functions and bottom-up evaluation techniques for recursive predicates). We motivate our work by reviewing the rcspcctive advantages of functional and logic programming for computation, data manipulation and data modelling. An overview of the previous version of PFL is presented and the syntax of this language is then extended to incorporate sets. We show how the Plotkin powcrdomain construction can be used to assign meaning to set expressions and we give a denotational semantics fof the extended language. To illustrate its expressiveness, we show how Datalog rules can be expressed as PFL functions. We discuss the optimisation of these functions. We also show how integrity constraints can be dclined, and describe how a particular constraint enforcement technique developed for logic databases can be adopted by PFL. Permission to copy witho~l fee all or prt of thir matrrial i.r granted provided that rhe copies are not madt ar d&r&ted for direct commercial ad-p, the VulB copyi& ~&CC and !he title of the publicadon and its dare pppcor, and noiice is given th copying ir by permission of the Very Large Data Base Endowment. To copy otherwise. or to repzk4isk reqnires a free andlor special pemtissionf lhe Endowment. I%vccdnp dibe 19th VLDD Cunfercncq Dublin, Ireland, 1993. Carol Small Dcpartmenl of Computer Scicncc, Birkbeck College, Malct St., London WClE 7HX" @default.
• W1480135766 created "2016-06-24" @default.
• W1480135766 creator A5026232625 @default.
• W1480135766 creator A5051400056 @default.
• W1480135766 date "1993-08-24" @default.
• W1480135766 modified "2023-09-26" @default.
• W1480135766 title "A Domain-theoretic Approach to Integrating Functional and Logic Database Languages" @default.
• W1480135766 cites W1498682974 @default.
• W1480135766 cites W1505886365 @default.
• W1480135766 cites W1509428113 @default.
• W1480135766 cites W1523047387 @default.
• W1480135766 cites W1526858686 @default.
• W1480135766 cites W1541134641 @default.
• W1480135766 cites W1542899521 @default.
• W1480135766 cites W1545571974 @default.
• W1480135766 cites W1555504763 @default.
• W1480135766 cites W1556943271 @default.
• W1480135766 cites W1576853379 @default.
• W1480135766 cites W1992810975 @default.
• W1480135766 cites W2010331618 @default.
• W1480135766 cites W2025594092 @default.
• W1480135766 cites W2027657506 @default.
• W1480135766 cites W2043778658 @default.
• W1480135766 cites W2051223322 @default.
• W1480135766 cites W2070553391 @default.
• W1480135766 cites W2082375048 @default.
• W1480135766 cites W2089042876 @default.
• W1480135766 cites W2105905502 @default.
• W1480135766 cites W2153320571 @default.
• W1480135766 cites W2156611852 @default.
• W1480135766 cites W2162602286 @default.
• W1480135766 cites W2170489918 @default.
• W1480135766 cites W22089940 @default.
• W1480135766 cites W2798525073 @default.
• W1480135766 cites W31561947 @default.
• W1480135766 cites W3161549246 @default.
• W1480135766 cites W50685456 @default.
• W1480135766 cites W185025861 @default.
• W1480135766 cites W2008159174 @default.
• W1480135766 hasPublicationYear "1993" @default.
• W1480135766 type Work @default.
• W1480135766 sameAs 1480135766 @default.
• W1480135766 citedByCount "6" @default.
• W1480135766 crossrefType "proceedings-article" @default.
• W1480135766 hasAuthorship W1480135766A5026232625 @default.
• W1480135766 hasAuthorship W1480135766A5051400056 @default.
• W1480135766 hasConcept C118615104 @default.
• W1480135766 hasConcept C127001435 @default.
• W1480135766 hasConcept C128838566 @default.
• W1480135766 hasConcept C146206909 @default.
• W1480135766 hasConcept C148230440 @default.
• W1480135766 hasConcept C154945302 @default.
• W1480135766 hasConcept C156325763 @default.
• W1480135766 hasConcept C177264268 @default.
• W1480135766 hasConcept C184337299 @default.
• W1480135766 hasConcept C199360897 @default.
• W1480135766 hasConcept C207648694 @default.
• W1480135766 hasConcept C2777212361 @default.
• W1480135766 hasConcept C2777502361 @default.
• W1480135766 hasConcept C29585364 @default.
• W1480135766 hasConcept C33923547 @default.
• W1480135766 hasConcept C34165917 @default.
• W1480135766 hasConcept C41008148 @default.
• W1480135766 hasConcept C42383842 @default.
• W1480135766 hasConcept C48859967 @default.
• W1480135766 hasConcept C50033165 @default.
• W1480135766 hasConcept C60048249 @default.
• W1480135766 hasConcept C80444323 @default.
• W1480135766 hasConceptScore W1480135766C118615104 @default.
• W1480135766 hasConceptScore W1480135766C127001435 @default.
• W1480135766 hasConceptScore W1480135766C128838566 @default.
• W1480135766 hasConceptScore W1480135766C146206909 @default.
• W1480135766 hasConceptScore W1480135766C148230440 @default.
• W1480135766 hasConceptScore W1480135766C154945302 @default.
• W1480135766 hasConceptScore W1480135766C156325763 @default.
• W1480135766 hasConceptScore W1480135766C177264268 @default.
• W1480135766 hasConceptScore W1480135766C184337299 @default.
• W1480135766 hasConceptScore W1480135766C199360897 @default.
• W1480135766 hasConceptScore W1480135766C207648694 @default.
• W1480135766 hasConceptScore W1480135766C2777212361 @default.
• W1480135766 hasConceptScore W1480135766C2777502361 @default.
• W1480135766 hasConceptScore W1480135766C29585364 @default.
• W1480135766 hasConceptScore W1480135766C33923547 @default.
• W1480135766 hasConceptScore W1480135766C34165917 @default.
• W1480135766 hasConceptScore W1480135766C41008148 @default.
• W1480135766 hasConceptScore W1480135766C42383842 @default.
• W1480135766 hasConceptScore W1480135766C48859967 @default.
• W1480135766 hasConceptScore W1480135766C50033165 @default.
• W1480135766 hasConceptScore W1480135766C60048249 @default.
• W1480135766 hasConceptScore W1480135766C80444323 @default.
• W1480135766 hasLocation W14801357661 @default.
• W1480135766 hasOpenAccess W1480135766 @default.
• W1480135766 hasPrimaryLocation W14801357661 @default.
• W1480135766 hasRelatedWork W1498682974 @default.
• W1480135766 hasRelatedWork W1498863978 @default.
• W1480135766 hasRelatedWork W1502805996 @default.
• W1480135766 hasRelatedWork W1520765719 @default.
• W1480135766 hasRelatedWork W152469671 @default.

• next