BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Hungary
1 × Singapore
1 × Spain
2 × Canada
3 × Italy
8 × USA
Collaborated with:
C.Zaniolo S.Greco A.D'Atri ∅ G.Wiederhold A.Cuzzocrea A.Gualtieri G.Manco R.Ortale L.Palopoli D.Ursino F.Buccafurri E.Laenens D.Vermeir A.Marchetti-Spaccamela A.Pelaggi F.Manfredi A.Mecchia F.Furfaro G.M.Mazzeo C.Sirangelo G.Greco A.Guzzo F.Scarcello
Talks about:
logic (9) program (6) databas (6) queri (4) implement (3) method (3) optim (3) model (3) languag (2) datalog (2)

Person: Domenico Saccà

DBLP DBLP: Sacc=agrave=:Domenico

Contributed to:

ICEIS ISAS v2 20082008
SAC 20052005
PPDP 20042004
SAC 20032003
CIKM 19981998
ICALP 19971997
ILPS 19971997
ICALP 19951995
ILPS 19931993
NACLP 19901990
PODS 19901990
SIGMOD 19901990
ICLP 19871987
PODS 19871987
SIGMOD 19871987
PODS 19861986
PODS 19841984
VLDB 19841984
PODS 19831983
VLDB 19831983

Wrote 20 papers:

ICEIS-ISAS2-2008-CuzzocreaGS #information management #modelling
A Process-Driven Methodology for Continuous Information Systems Modeling (AC, AG, DS), pp. 82–88.
SAC-2005-FurfaroMSS #multi
Hierarchical binary histograms for summarizing multi-dimensional data (FF, GMM, DS, CS), pp. 598–603.
PPDP-2004-GrecoGSS #datalog #logic programming #multi #programming language #reasoning
Event choice datalog: a logic programming language for reasoning in multiple dimensions (GG, AG, DS, FS), pp. 238–249.
SAC-2003-MancoOS #clustering #similarity #transaction #web
Similarity-Based Clustering of Web Transactions (GM, RO, DS), pp. 1212–1216.
CIKM-1998-PalopoliSU #automation #database #detection
An Automatic Techniques for Detecting Type Conflicts in Database Schemes (LP, DS, DU), pp. 306–313.
ICALP-1997-BuccafurriGS #power of #semantics
The Expressive Power of Unique Total Stable Model Semantics (FB, SG, DS), pp. 849–859.
ILPS-1997-GrecoS #datalog #optimisation #problem
NP Optimization Problems in Datalog (SG, DS), pp. 181–195.
ICALP-1995-GrecoSZ #automaton #logic programming #source code
The PushDown Method to Optimize Chain Logic Programs (SG, DS, CZ), pp. 523–534.
ILPS-1993-GrecoSZ #logic #optimisation #programming #query
Dynamic Programming Optimization for Logic Queries with Aggregates (SG, DS, CZ), pp. 575–589.
NACLP-1990-GrecoS #logic programming #source code
Negative Logic Programs (SG, DS), pp. 480–497.
PODS-1990-SaccaZ #logic programming #modelling #nondeterminism #source code
Stable Models and Non-Determinism in Logic Programs with Negation (DS, CZ), pp. 205–217.
SIGMOD-1990-LaenensSV #logic programming
Extending Logic Programming (EL, DS, DV), pp. 184–193.
ICLP-1987-SaccaZ87 #implementation #logic #query #recursion
Implementation of Recursive Queries for a Data Language Based on Pure Horn Logic (DS, CZ), pp. 104–135.
PODS-1987-Marchetti-SpaccamelaPS #analysis #complexity #implementation #logic #query #worst-case
Worst-case Complexity Analysis of Methods for Logic Query Implementation (AMS, AP, DS), pp. 294–301.
SIGMOD-1987-SaccaZ
Magic Counting Methods (DS, CZ), pp. 49–59.
PODS-1986-SaccaZ #database #implementation #logic #on the #query
On the Implementation of a Simple Class of Logic Queries for Databases (DS, CZ), pp. 16–23.
PODS-1984-SaccaMM #database #dependence #functional
Properties of Database Schemata with Functional Dependencies (DS, FM, AM), pp. 19–28.
VLDB-1984-DAtriS #database #equivalence
Equivalence and Mapping of Database Schemes (AD, DS), pp. 187–195.
PODS-1983-Sacca #database #on the #recognition
On the Recognition of Coverings of Acyclic Database Hypergraphs (DS), pp. 297–304.
VLDB-1983-SaccaW #clustering #database
Database Partitioning in a Cluster of Processors (DS, GW), pp. 242–247.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.