> Detailanzeige

Zaniolo, Carlo [Verfasser:in]; Yang, Mohan [Verfasser:in]; Interlandi, Matteo [Verfasser:in]; Das, Ariyam [Verfasser:in]; Shkapsky, Alexander [Verfasser:in]; Condie, Tyson [Verfasser:in] ; Carlo Zaniolo and Mohan Yang and Matteo Interlandi and Ariyam Das and Alexander Shkapsky and Tyson Condie [Mitwirkende:r]

Declarative Algorithms in Datalog with Extrema: Their Formal Semantics Simplified

Literatur-
verwaltung

Zur
Merkliste

Lösche von
Merkliste

Per Whatsapp teilen

Schließen

Merkliste



Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
  • Medientyp: Sonstige Veröffentlichung; E-Artikel; Elektronischer Konferenzbericht
  • Titel: Declarative Algorithms in Datalog with Extrema: Their Formal Semantics Simplified
  • Beteiligte: Zaniolo, Carlo [Verfasser:in]; Yang, Mohan [Verfasser:in]; Interlandi, Matteo [Verfasser:in]; Das, Ariyam [Verfasser:in]; Shkapsky, Alexander [Verfasser:in]; Condie, Tyson [Verfasser:in]
  • Erschienen: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018
  • Sprache: Englisch
  • DOI: https://doi.org/10.4230/OASIcs.ICLP.2018.9
  • Schlagwörter: Recursive Queries
  • Entstehung:
  • Anmerkungen: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
  • Beschreibung: Recent advances are making possible the use of aggregates in recursive queries thus enabling the declarative expression classic algorithms and their efficient and scalable implementation. These advances rely the notion of Pre-Mappability (PreM) of constraints that, along with the seminaive-fixpoint operational semantics, guarantees formal non-monotonic semantics for recursive programs with min and max constraints. In this extended abstract, we introduce basic templates to simplify and automate task of proving PreM.
  • Zugangsstatus: Freier Zugang