Matches in SemOpenAlex for { <https://semopenalex.org/work/W51670739> ?p ?o ?g. }
Showing items 1 to 35 of
35
with 100 items per page.
- W51670739 abstract "Cette these est developpee dans le but d'aborder la question du flux de l'information en programmation logique. Les contributions de cette these peuvent etre divisees en trois parties: 1. Flux de l'information en programmation logique: Nous proposons une base theorique de ce que pourrait etre un flux de l'information en programmation logique. Plusieurs definitions de flux d'information (basees sur la reussite / echec, les substitutions reponses, bisimulation entre les arbres de resolution des buts logiques) sont evaluees et comparees. Des problemes de decision sont donnes pour chaque definition et la complexite est etudiee pour certaines categories de programmes logiques. 2. Bisimulation de buts logiques: Nous introduisons la notion de bisimulation entre les buts Datalog: deux buts Datalog sont bisimilaires par rapport a un programme Datalog donne lorsque leurs SLD-arbres, consideres comme des structures relationnelles, sont bisimilaires. Nous abordons le probleme de decider si deux buts donnes sont bisimilaires a l'egard d'un programme donne. Lorsque les programmes sont hierarchiques ou restricted, ce probleme est decidable en 2EXPTIME. 3. Controle preventif de l'inference dans les bases de donnees deductives: Nous proposons un mecanisme de securite sur et precis pour les bases de donnees deductives base sur la notion de flux de l'information dans la programmation logique." @default.
- W51670739 created "2016-06-24" @default.
- W51670739 creator A5085526718 @default.
- W51670739 date "2012-01-01" @default.
- W51670739 modified "2023-09-24" @default.
- W51670739 title "Flux de l'information en programmation logique" @default.
- W51670739 hasPublicationYear "2012" @default.
- W51670739 type Work @default.
- W51670739 sameAs 51670739 @default.
- W51670739 citedByCount "0" @default.
- W51670739 crossrefType "dissertation" @default.
- W51670739 hasAuthorship W51670739A5085526718 @default.
- W51670739 hasConcept C11413529 @default.
- W51670739 hasConcept C135315306 @default.
- W51670739 hasConcept C138885662 @default.
- W51670739 hasConcept C148230440 @default.
- W51670739 hasConcept C153269930 @default.
- W51670739 hasConcept C15708023 @default.
- W51670739 hasConcept C199360897 @default.
- W51670739 hasConcept C41008148 @default.
- W51670739 hasConceptScore W51670739C11413529 @default.
- W51670739 hasConceptScore W51670739C135315306 @default.
- W51670739 hasConceptScore W51670739C138885662 @default.
- W51670739 hasConceptScore W51670739C148230440 @default.
- W51670739 hasConceptScore W51670739C153269930 @default.
- W51670739 hasConceptScore W51670739C15708023 @default.
- W51670739 hasConceptScore W51670739C199360897 @default.
- W51670739 hasConceptScore W51670739C41008148 @default.
- W51670739 hasLocation W516707391 @default.
- W51670739 hasOpenAccess W51670739 @default.
- W51670739 hasPrimaryLocation W516707391 @default.
- W51670739 isParatext "false" @default.
- W51670739 isRetracted "false" @default.
- W51670739 magId "51670739" @default.
- W51670739 workType "dissertation" @default.