![Programming language theory / Programming paradigms / Predicate logic / Datalog / Prolog / Logic programming / Predicate / Extension / SQL / Computing / Software engineering / Query languages Programming language theory / Programming paradigms / Predicate logic / Datalog / Prolog / Logic programming / Predicate / Extension / SQL / Computing / Software engineering / Query languages](https://www.pdfsearch.io/img/0858fb114e84a5447d8ee31914f99461.jpg)
| Document Date: 2010-03-16 23:51:24 Open Document File Size: 346,04 KBShare Result on Facebook
City Indianapolis / / Company AES / DatalogLB / Distributed / Security Keywords Datalog / / Country United States / / Currency pence / USD / / / Event FDA Phase / / Facility LogicBlox pipeline / University of Pennsylvania / University of California / / IndustryTerm publish-subscribe systems / data processing applications / enterprise software systems / query processing runtime / query processing / secure data applications / insurance risk management / authenticated declarative routing protocol / semi-naïve algorithm / above applications / retail supply-chain management / query processing extension / decision automation applications / data management / query processor / large-scale networked information systems / diverse applications / continuous processing / inter-node communications / cloud computing / content distribution networks / rigid cryptographic protocols / / OperatingSystem Linux / Fedora / / Organization Database Administration / University of Pennsylvania / University of California / Berkeley / wrm / / Person Martin Bravenboer† Molham Aref / Shan Shan Huang / William R. Marczak∗ Micah Sherr / / Position author / representative / forward / Query processing General / Private / head / programmer / / Product BloxGenerics / SecureBlox / a declarative system / SecureBlox / SecureBlox ACID / / ProgrammingLanguage V / Prolog / Datalog / / ProvinceOrState Indiana / / Technology encryption / DRed algorithm / Cryptography / routing protocol / semi-naïve algorithm / Linux / IP / API / rigid cryptographic protocols / query processor / private key / UDP / digital signature / authenticated declarative routing protocol / Gigabit Ethernet / /
SocialTag |