Logic in databases

Abstract

Th e Lo gic in Da tab ase s (LI DO0 8) w ork sh op w as h eld at th eDI S d ep artm en t of OLa S ap ien za O u n ivers ity, R om e, Italy,b etw ee n M ay 19-2 0, 2008.LI DO 08 w as estab lish ed as a foru m for b rin gin g toget h er re-se arch ers an d p rac tition ers, fro m th e acad em ia an d th e in -d u stry , wh o are fo cu sin g on all logica l asp ec ts of d ata m an -agem en t.LI DO 08 w as a con s u en ce of th ree su cce ssfu l p ast ev en ts:¥ LI DO 96,an in tern ation alw ork sh op on Lo gic in Da tab ases ,wh ich LI DO0 8 d eriv es its n am e fro m ;¥ IIDB O06, an intern ation al w ork sh op on In con sisten cyan d In com p let en ess in Da tab ase s;¥ LA A ICO 06 , an in tern ation al w orks h op on L og ical A s-p ec ts an d A p p lication s of In teg rity Co n stra ints.In ord er to gu ara n tee its con tinu ity, a S te erin g Co m m ittee,ch aired b y G eo rg G ottlob , w as fou n d ed ; its m em b ers are A n -d rea Ca l`o, Ja n Ch om ick i, H en n in g Ch ristian sen , La ks V .S .La k sh m an an , Da v id e M artin en gh i, Din o P ed res ch i, Jef Wi -jse n , an d Ca rlo Za n iolo.Th is w orks h op w as org an ized b y A n d rea C al`o, La ks V .S .La k sh m an an , an d Da v id e M artin en gh i; it attra ct ed 18 p a-p er su b m ission s ou t of wh ich 7 w ere sele ct ed for lon g p re -se n ta tion an d 6 for sh ort p re sen tation at th e w orksh op ; th ew ork sh op attra ct ed aro u n d 50 reg istered p articip an ts. De-tails an d p res en tation s are availab le at th e w orks h op W ebsite: http://conferenze.dei.polimi.it/lid2008/.