@undefineds.co/xpod 0.1.0-local.202602081751

package/dist/storage/sparql/QueryOptimizer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"QueryOptimizer.js","sourceRoot":"","sources":["../../../src/storage/sparql/QueryOptimizer.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;GAiBG;;;AAIH,uDAA+C;AAI/C,MAAM,WAAW,GAAG,IAAI,8BAAW,EAAE,CAAC;AAmDtC;;GAEG;AACH,MAAa,cAAc;IAKzB,YAAY,KAAiB,EAAE,OAA8B;QAC3D,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACnB,IAAI,CAAC,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,KAAK,CAAC;QACpC,IAAI,CAAC,eAAe,GAAG,OAAO,CAAC,eAAe,CAAC;IACjD,CAAC;IAED,+DAA+D;IAC/D,OAAO;IACP,+DAA+D;IAE/D;;OAEG;IACH,YAAY,CAAC,OAA0B;QACrC,yBAAyB;QACzB,IAAI,IAAI,CAAC,KAAK,CAAC,aAAa,EAAE,CAAC;YAC7B,MAAM,gBAAgB,GAAG,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC;YACvD,IAAI,gBAAgB,CAAC,WAAW,EAAE,CAAC;gBACjC,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,gBAAgB,EAAE,CAAC;YAC1D,CAAC;QACH,CAAC;QAED,uBAAuB;QACvB,IAAI,IAAI,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC;YAC3B,MAAM,gBAAgB,GAAG,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC;YACvD,IAAI,gBAAgB,CAAC,WAAW,EAAE,CAAC;gBACjC,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,gBAAgB,EAAE,CAAC;YAC1D,CAAC;QACH,CAAC;QAED,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;IAC1C,CAAC;IAED;;;;;;OAMG;IACH,KAAK,CAAC,wBAAwB,CAC5B,QAA0B,EAC1B,YAAwB,EACxB,YAAqD;QAErD,MAAM,EAAE,UAAU,EAAE,kBAAkB,EAAE,YAAY,EAAE,GAAG,QAAQ,CAAC;QAElE,IAAI,CAAC,UAAU,IAAI,CAAC,kBAAkB,IAAI,CAAC,YAAY,EAAE,CAAC;YACxD,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,CAAC;QAC9C,CAAC;QAED,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC9B,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,iBAAiB;QACjB,MAAM,QAAQ,GAAa,EAAE,CAAC;QAC9B,KAAK,MAAM,OAAO,IAAI,YAAY,EAAE,CAAC;YACnC,MAAM,WAAW,GAAG,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;YAClE,IAAI,WAAW,IAAI,WAAW,CAAC,QAAQ,KAAK,WAAW,EAAE,CAAC;gBACxD,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;YACnC,CAAC;QACH,CAAC;QAED,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACf,OAAO,CAAC,GAAG,CAAC,8BAA8B,YAAY,CAAC,MAAM,cAAc,QAAQ,CAAC,MAAM,WAAW,CAAC,CAAC;QACzG,CAAC;QAED,SAAS;QACT,MAAM,YAAY,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,aAAc,CAClD,QAAQ,EACR,kBAAkB,EAClB,SAAS,CAAE,oBAAoB;SAChC,CAAC;QAEF,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACf,OAAO,CAAC,GAAG,CAAC,oDAAoD,YAAY,CAAC,IAAI,WAAW,CAAC,CAAC;QAChG,CAAC;QAED,OAAO;QACP,IAAI,OAAO,GAAG,IAAI,CAAC,uBAAuB,CAAC,YAAY,EAAE,YAAY,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC;QAEjG,OAAO;QACP,IAAI,YAAY,EAAE,OAAO,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAChD,OAAO,GAAG,IAAI,CAAC,YAAY,CAAC,OAAO,EAAE,YAAY,CAAC,OAAO,EAAE,YAAY,CAAC,OAAO,IAAI,KAAK,CAAC,CAAC;YAC1F,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBACf,OAAO,CAAC,GAAG,CAAC,sCAAsC,YAAY,CAAC,OAAO,IAAI,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;YACrH,CAAC;QACH,CAAC;QAED,OAAO,OAAO,CAAC;IACjB,CAAC;IAED;;OAEG;IACK,YAAY,CAAC,QAAoB,EAAE,OAAe,EAAE,OAAgB;QAC1E,MAAM,QAAQ,GAAG,WAAW,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;QAE/C,OAAO,CAAC,GAAG,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACjC,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YAC7B,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YAE7B,uBAAuB;YACvB,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI;gBAAE,OAAO,CAAC,CAAC;YAC7B,IAAI,CAAC,IAAI;gBAAE,OAAO,CAAC,CAAC;YACpB,IAAI,CAAC,IAAI;gBAAE,OAAO,CAAC,CAAC,CAAC;YAErB,MAAM;YACN,IAAI,GAAW,CAAC;YAChB,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC/D,gBAAgB;gBAChB,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACpC,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACpC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;oBACjC,GAAG,GAAG,IAAI,GAAG,IAAI,CAAC;gBACpB,CAAC;qBAAM,CAAC;oBACN,QAAQ;oBACR,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAC7C,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,aAAa;gBACb,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC7C,CAAC;YAED,OAAO,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;QAC9B,CAAC,CAAC,CAAC;IACL,CAAC;IAED,+DAA+D;IAC/D,cAAc;IACd,+DAA+D;IAE/D;;;;;;;;;OASG;IACH,eAAe,CAAC,OAA0B;QACxC,iDAAiD;QACjD,IAAI,OAAO,GAAG,OAAO,CAAC;QACtB,OAAO,OAAO,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO;YACtD,OAAO,CAAC,IAAI,KAAK,UAAU,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS;YACzD,OAAO,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAClC,OAAO,GAAI,OAAe,CAAC,KAAK,CAAC;QACnC,CAAC;QAED,+BAA+B;QAC/B,MAAM,SAAS,GAAuB,EAAE,CAAC;QACzC,IAAI,MAAM,GAA6B,IAAI,CAAC;QAE5C,MAAM,gBAAgB,GAAG,CAAC,EAAqB,EAAQ,EAAE;YACvD,IAAI,EAAE,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBAC3B,MAAM,EAAE,GAAG,EAAsB,CAAC;gBAClC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACnB,gBAAgB,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YAChC,CAAC;iBAAM,CAAC;gBACN,MAAM,GAAG,EAAE,CAAC;YACd,CAAC;QACH,CAAC,CAAC;QAEF,gBAAgB,CAAC,OAAO,CAAC,CAAC;QAE1B,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACzB,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,EAAE,mBAAmB,EAAE,CAAC;QAC7D,CAAC;QAED,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,EAAE,yBAAyB,EAAE,CAAC;QACnE,CAAC;QAED,sBAAsB;QACtB,MAAM,UAAU,GAAG,IAAI,CAAC,sBAAsB,CAAC,MAAM,CAAC,CAAC;QACvD,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,EAAE,uDAAuD,EAAE,CAAC;QACjG,CAAC;QAED,gBAAgB;QAChB,MAAM,kBAAkB,GAAa,EAAE,CAAC;QACxC,MAAM,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAC;QAE/C,KAAK,MAAM,EAAE,IAAI,SAAS,EAAE,CAAC;YAC3B,kBAAkB;YAClB,IAAK,EAAU,CAAC,UAAU,EAAE,CAAC;gBAC3B,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,EAAE,qCAAqC,EAAE,CAAC;YAC/E,CAAC;YAED,MAAM,WAAW,GAAG,IAAI,CAAC,oBAAoB,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YAC3D,IAAI,CAAC,WAAW,EAAE,CAAC;gBACjB,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,EAAE,kCAAkC,EAAE,CAAC;YAC5E,CAAC;YAED,IAAI,WAAW,CAAC,UAAU,KAAK,UAAU,EAAE,CAAC;gBAC1C,OAAO;oBACL,WAAW,EAAE,KAAK;oBAClB,MAAM,EAAE,qBAAqB,WAAW,CAAC,UAAU,gCAAgC,UAAU,EAAE;iBAChG,CAAC;YACJ,CAAC;YAED,IAAI,CAAC,WAAW,CAAC,SAAS,EAAE,CAAC;gBAC3B,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,EAAE,uCAAuC,EAAE,CAAC;YACjF,CAAC;YAED,kBAAkB,CAAC,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC;YAC/C,IAAI,WAAW,CAAC,SAAS,EAAE,CAAC;gBAC1B,YAAY,CAAC,GAAG,CAAC,WAAW,CAAC,SAAS,EAAE,WAAW,CAAC,SAAS,CAAC,CAAC;YACjE,CAAC;QACH,CAAC;QAED,OAAO;YACL,WAAW,EAAE,IAAI;YACjB,aAAa,EAAE,MAAM;YACrB,UAAU;YACV,kBAAkB;YAClB,YAAY;SACb,CAAC;IACJ,CAAC;IAED,+DAA+D;IAC/D,oBAAoB;IACpB,+DAA+D;IAE/D;;OAEG;IACH,eAAe,CAAC,OAA0B;QACxC,sCAAsC;QACtC,IAAI,OAAO,GAAG,OAAO,CAAC;QACtB,OAAO,OAAO,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO;YACtD,OAAO,CAAC,IAAI,KAAK,UAAU,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS;YACzD,OAAO,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACjC,OAAO,GAAI,OAAe,CAAC,KAAK,CAAC;QACnC,CAAC;QAED,mBAAmB;QACnB,IAAI,QAAQ,GAAsB,EAAE,CAAC;QAErC,IAAI,OAAO,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAC3B,MAAM,GAAG,GAAG,OAAsB,CAAC;YACnC,QAAQ,GAAG,GAAG,CAAC,QAA6B,CAAC;QAC/C,CAAC;aAAM,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACnC,MAAM,IAAI,GAAG,OAAuB,CAAC;YACrC,QAAQ,GAAG,IAAI,CAAC,uBAAuB,CAAC,IAAI,CAAC,CAAC;QAChD,CAAC;QAED,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,EAAE,6CAA6C,EAAE,CAAC;QACvF,CAAC;QAED,kCAAkC;QAClC,MAAM,WAAW,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CACnC,CAAC,CAAC,OAAO,EAAE,QAAQ,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAC5D,CAAC;QACF,MAAM,iBAAiB,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC;QAE5E,IAAI,iBAAiB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACnC,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,EAAE,iDAAiD,EAAE,CAAC;QAC3F,CAAC;QAED,OAAO;YACL,WAAW,EAAE,IAAI;YACjB,QAAQ;YACR,OAAO,EAAE,iBAAiB,CAAC,CAAC,CAAE;YAC9B,SAAS,EAAE,SAAS;SACrB,CAAC;IACJ,CAAC;IAED,+DAA+D;IAC/D,OAAO;IACP,+DAA+D;IAE/D;;OAEG;IACK,sBAAsB,CAAC,EAAqB;QAClD,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC1B,MAAM,OAAO,GAAG,EAAqB,CAAC;YACtC,IAAI,OAAO,CAAC,OAAO,EAAE,QAAQ,KAAK,UAAU,EAAE,CAAC;gBAC7C,OAAO,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC;YAC/B,CAAC;QACH,CAAC;aAAM,IAAI,EAAE,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAC7B,MAAM,GAAG,GAAG,EAAiB,CAAC;YAC9B,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC5B,MAAM,YAAY,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAoB,CAAC;gBACxD,IAAI,YAAY,CAAC,OAAO,EAAE,QAAQ,KAAK,UAAU,EAAE,CAAC;oBAClD,OAAO,YAAY,CAAC,OAAO,CAAC,KAAK,CAAC;gBACpC,CAAC;YACH,CAAC;QACH,CAAC;aAAM,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAChC,OAAO,IAAI,CAAC,sBAAsB,CAAE,EAAqB,CAAC,KAAK,CAAC,CAAC;QACnE,CAAC;aAAM,IAAI,EAAE,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC9B,MAAM,IAAI,GAAG,EAAkB,CAAC;YAChC,IAAI,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACxC,OAAO,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YACpD,CAAC;QACH,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;OAEG;IACK,oBAAoB,CAAC,EAAqB;QAKhD,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC1B,MAAM,OAAO,GAAG,EAAqB,CAAC;YACtC,IAAI,OAAO,CAAC,OAAO,EAAE,QAAQ,KAAK,UAAU,EAAE,CAAC;gBAC7C,OAAO,IAAI,CAAC;YACd,CAAC;YACD,OAAO;gBACL,UAAU,EAAE,OAAO,CAAC,OAAO,CAAC,KAAK;gBACjC,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,QAAQ,KAAK,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI;gBACvF,SAAS,EAAE,OAAO,CAAC,MAAM,EAAE,QAAQ,KAAK,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI;aACjF,CAAC;QACJ,CAAC;aAAM,IAAI,EAAE,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAC7B,MAAM,GAAG,GAAG,EAAiB,CAAC;YAC9B,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC9B,OAAO,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAsB,CAAC,CAAC;YACzE,CAAC;QACH,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;OAEG;IACK,uBAAuB,CAAC,IAAkB;QAChD,MAAM,QAAQ,GAAsB,EAAE,CAAC;QAEvC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAC/B,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAC7B,QAAQ,CAAC,IAAI,CAAC,KAAwB,CAAC,CAAC;YAC1C,CAAC;iBAAM,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;gBAChC,QAAQ,CAAC,IAAI,CAAC,GAAI,KAAqB,CAAC,QAA6B,CAAC,CAAC;YACzE,CAAC;iBAAM,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBACjC,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,uBAAuB,CAAC,KAAqB,CAAC,CAAC,CAAC;YACxE,CAAC;QACH,CAAC;QAED,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED;;OAEG;IACK,uBAAuB,CAC7B,YAAwB,EACxB,YAA0B,EAC1B,UAAkB,EAClB,YAAiC;QAEjC,MAAM,OAAO,GAAe,EAAE,CAAC;QAE/B,KAAK,MAAM,WAAW,IAAI,YAAY,EAAE,CAAC;YACvC,MAAM,WAAW,GAAG,WAAW,CAAC,GAAG,CAAC,WAAW,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;YACtE,IAAI,CAAC,WAAW,IAAI,WAAW,CAAC,QAAQ,KAAK,WAAW,EAAE,CAAC;gBACzD,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;gBAC1B,SAAS;YACX,CAAC;YAED,MAAM,YAAY,GAAG,YAAY,CAAC,GAAG,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;YAEzD,+BAA+B;YAC/B,MAAM,OAAO,GAAuB,EAAE,CAAC;YAEvC,qBAAqB;YACrB,KAAK,MAAM,CAAC,IAAI,WAAW,CAAC,IAAI,EAAE,EAAE,CAAC;gBACnC,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBAChC,IAAI,IAAI,EAAE,CAAC;oBACT,OAAO,CAAC,IAAI,CAAC,CAAC,CAAa,EAAE,IAAI,CAAC,CAAC,CAAC;gBACtC,CAAC;YACH,CAAC;YAED,iBAAiB;YACjB,KAAK,MAAM,CAAC,SAAS,EAAE,OAAO,CAAC,IAAI,YAAY,EAAE,CAAC;gBAChD,MAAM,MAAM,GAAG,YAAY,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;gBAC5C,IAAI,MAAM,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBAChC,OAAO,CAAC,IAAI,CAAC,CAAC,WAAW,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC3D,CAAC;YACH,CAAC;YAED,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC;QACvD,CAAC;QAED,OAAO,OAAO,CAAC;IACjB,CAAC;CACF;AA/YD,wCA+YC","sourcesContent":["/**\n * QueryOptimizer - 统一的查询优化层\n * \n * 职责：\n * 1. 分析 SPARQL algebra，识别可优化的模式\n * 2. 选择最优执行策略\n * 3. 执行优化后的查询\n * \n * 支持的优化：\n * - OPTIONAL 优化：批量获取属性，避免指数级 LEFT JOIN\n * - Compound Query：多 pattern SQL JOIN，避免 JS 层 hash join\n * - FILTER 下推：条件下推到 SQL 层\n * \n * 设计原则：\n * - 所有优化逻辑集中在此类\n * - 对外暴露统一的接口\n * - 优化失败时优雅降级到 Comunica 默认行为\n */\n\nimport type { Bindings, Term, Variable } from '@rdfjs/types';\nimport type { Algebra } from 'sparqlalgebrajs';\nimport { DataFactory } from 'rdf-data-factory';\n\nimport type { QuintStore, AttributeMap } from '../quint/types';\n\nconst dataFactory = new DataFactory();\n\n/**\n * OPTIONAL 优化分析结果\n */\nexport interface OptionalAnalysis {\n  /** 是否可优化 */\n  canOptimize: boolean;\n  /** 核心查询（不含 OPTIONAL） */\n  coreOperation?: Algebra.Operation;\n  /** subject 变量名 */\n  subjectVar?: string;\n  /** 要获取的属性 predicates */\n  optionalPredicates?: string[];\n  /** 各 OPTIONAL 的变量名 */\n  optionalVars?: Map<string, string>;  // predicate -> variable\n  /** 不能优化的原因 */\n  reason?: string;\n}\n\n/**\n * Compound Query 优化分析结果\n */\nexport interface CompoundAnalysis {\n  /** 是否可优化 */\n  canOptimize: boolean;\n  /** 所有 patterns */\n  patterns?: Algebra.Pattern[];\n  /** JOIN 变量名 */\n  joinVar?: string;\n  /** JOIN 字段 */\n  joinField?: 'subject' | 'predicate' | 'object' | 'graph';\n  /** 不能优化的原因 */\n  reason?: string;\n}\n\n/**\n * 查询优化结果\n */\nexport interface OptimizationResult {\n  /** 优化类型 */\n  type: 'optional' | 'compound' | 'none';\n  /** 分析结果 */\n  analysis: OptionalAnalysis | CompoundAnalysis | null;\n}\n\nexport interface QueryOptimizerOptions {\n  debug?: boolean;\n  bindingsFactory: any;\n}\n\n/**\n * QueryOptimizer - 查询优化器\n */\nexport class QueryOptimizer {\n  private readonly store: QuintStore;\n  private readonly debug: boolean;\n  private readonly bindingsFactory: any;\n\n  constructor(store: QuintStore, options: QueryOptimizerOptions) {\n    this.store = store;\n    this.debug = options.debug ?? false;\n    this.bindingsFactory = options.bindingsFactory;\n  }\n\n  // ============================================================\n  // 公共接口\n  // ============================================================\n\n  /**\n   * 分析查询，确定最佳优化策略\n   */\n  analyzeQuery(algebra: Algebra.Operation): OptimizationResult {\n    // 先检查 OPTIONAL 优化（优先级最高）\n    if (this.store.getAttributes) {\n      const optionalAnalysis = this.analyzeOptional(algebra);\n      if (optionalAnalysis.canOptimize) {\n        return { type: 'optional', analysis: optionalAnalysis };\n      }\n    }\n\n    // 检查 Compound Query 优化\n    if (this.store.getCompound) {\n      const compoundAnalysis = this.analyzeCompound(algebra);\n      if (compoundAnalysis.canOptimize) {\n        return { type: 'compound', analysis: compoundAnalysis };\n      }\n    }\n\n    return { type: 'none', analysis: null };\n  }\n\n  /**\n   * 执行 OPTIONAL 优化查询\n   * \n   * @param analysis OPTIONAL 分析结果\n   * @param coreBindings 核心查询的绑定结果\n   * @param orderOptions 排序选项（可选）\n   */\n  async executeOptionalOptimized(\n    analysis: OptionalAnalysis,\n    coreBindings: Bindings[],\n    orderOptions?: { varName: string; reverse?: boolean }\n  ): Promise<Bindings[]> {\n    const { subjectVar, optionalPredicates, optionalVars } = analysis;\n    \n    if (!subjectVar || !optionalPredicates || !optionalVars) {\n      throw new Error('Invalid OptionalAnalysis');\n    }\n\n    if (coreBindings.length === 0) {\n      return [];\n    }\n\n    // 提取所有 subject 值\n    const subjects: string[] = [];\n    for (const binding of coreBindings) {\n      const subjectTerm = binding.get(dataFactory.variable(subjectVar));\n      if (subjectTerm && subjectTerm.termType === 'NamedNode') {\n        subjects.push(subjectTerm.value);\n      }\n    }\n\n    if (this.debug) {\n      console.log(`[QueryOptimizer] OPTIONAL: ${coreBindings.length} bindings, ${subjects.length} subjects`);\n    }\n\n    // 批量获取属性\n    const attributeMap = await this.store.getAttributes!(\n      subjects,\n      optionalPredicates,\n      undefined  // TODO: 支持 graph 过滤\n    );\n\n    if (this.debug) {\n      console.log(`[QueryOptimizer] getAttributes returned data for ${attributeMap.size} subjects`);\n    }\n\n    // 组装结果\n    let results = this.assembleOptionalResults(coreBindings, attributeMap, subjectVar, optionalVars);\n\n    // 应用排序\n    if (orderOptions?.varName && results.length > 1) {\n      results = this.sortBindings(results, orderOptions.varName, orderOptions.reverse ?? false);\n      if (this.debug) {\n        console.log(`[QueryOptimizer] Applied ORDER BY ?${orderOptions.varName} ${orderOptions.reverse ? 'DESC' : 'ASC'}`);\n      }\n    }\n\n    return results;\n  }\n\n  /**\n   * 对 Bindings 数组按指定变量排序\n   */\n  private sortBindings(bindings: Bindings[], varName: string, reverse: boolean): Bindings[] {\n    const orderVar = dataFactory.variable(varName);\n    \n    return [...bindings].sort((a, b) => {\n      const aVal = a.get(orderVar);\n      const bVal = b.get(orderVar);\n      \n      // null/undefined 值排在最后\n      if (!aVal && !bVal) return 0;\n      if (!aVal) return 1;\n      if (!bVal) return -1;\n      \n      // 比较值\n      let cmp: number;\n      if (aVal.termType === 'Literal' && bVal.termType === 'Literal') {\n        // 对于字面量，先尝试数值比较\n        const aNum = parseFloat(aVal.value);\n        const bNum = parseFloat(bVal.value);\n        if (!isNaN(aNum) && !isNaN(bNum)) {\n          cmp = aNum - bNum;\n        } else {\n          // 字符串比较\n          cmp = aVal.value.localeCompare(bVal.value);\n        }\n      } else {\n        // 其他类型用字符串比较\n        cmp = aVal.value.localeCompare(bVal.value);\n      }\n      \n      return reverse ? -cmp : cmp;\n    });\n  }\n\n  // ============================================================\n  // OPTIONAL 优化\n  // ============================================================\n\n  /**\n   * 分析查询是否可以进行 OPTIONAL 优化\n   * \n   * 可优化条件：\n   * 1. 有核心条件（BGP 或带 FILTER 的 BGP）\n   * 2. 有 OPTIONAL（>= 1 个）\n   * 3. 所有 OPTIONAL 都是简单的属性获取：?s <pred> ?var\n   * 4. 所有 OPTIONAL 使用同一个 subject 变量\n   * 5. OPTIONAL 内部没有额外的 FILTER\n   */\n  analyzeOptional(algebra: Algebra.Operation): OptionalAnalysis {\n    // 从 project -> slice -> orderby -> ... 找到实际的查询结构\n    let current = algebra;\n    while (current.type === 'project' || current.type === 'slice' || \n           current.type === 'distinct' || current.type === 'reduced' ||\n           current.type === 'orderby') {\n      current = (current as any).input;\n    }\n\n    // 收集所有 leftjoin（OPTIONAL）和核心操作\n    const leftJoins: Algebra.LeftJoin[] = [];\n    let coreOp: Algebra.Operation | null = null;\n\n    const collectLeftJoins = (op: Algebra.Operation): void => {\n      if (op.type === 'leftjoin') {\n        const lj = op as Algebra.LeftJoin;\n        leftJoins.push(lj);\n        collectLeftJoins(lj.input[0]);\n      } else {\n        coreOp = op;\n      }\n    };\n\n    collectLeftJoins(current);\n\n    if (leftJoins.length < 1) {\n      return { canOptimize: false, reason: 'No OPTIONAL found' };\n    }\n\n    if (!coreOp) {\n      return { canOptimize: false, reason: 'No core operation found' };\n    }\n\n    // 分析核心操作获取 subject 变量\n    const subjectVar = this.extractSubjectVariable(coreOp);\n    if (!subjectVar) {\n      return { canOptimize: false, reason: 'Cannot determine subject variable from core operation' };\n    }\n\n    // 分析所有 OPTIONAL\n    const optionalPredicates: string[] = [];\n    const optionalVars = new Map<string, string>();\n\n    for (const lj of leftJoins) {\n      // 检查是否有额外的 filter\n      if ((lj as any).expression) {\n        return { canOptimize: false, reason: 'OPTIONAL contains FILTER expression' };\n      }\n\n      const patternInfo = this.extractSimplePattern(lj.input[1]);\n      if (!patternInfo) {\n        return { canOptimize: false, reason: 'OPTIONAL is not a simple pattern' };\n      }\n\n      if (patternInfo.subjectVar !== subjectVar) {\n        return { \n          canOptimize: false, \n          reason: `OPTIONAL subject ?${patternInfo.subjectVar} doesn't match core subject ?${subjectVar}` \n        };\n      }\n\n      if (!patternInfo.predicate) {\n        return { canOptimize: false, reason: 'OPTIONAL predicate must be a constant' };\n      }\n\n      optionalPredicates.push(patternInfo.predicate);\n      if (patternInfo.objectVar) {\n        optionalVars.set(patternInfo.predicate, patternInfo.objectVar);\n      }\n    }\n\n    return {\n      canOptimize: true,\n      coreOperation: coreOp,\n      subjectVar,\n      optionalPredicates,\n      optionalVars,\n    };\n  }\n\n  // ============================================================\n  // Compound Query 优化\n  // ============================================================\n\n  /**\n   * 分析查询是否可以进行 Compound Query 优化\n   */\n  analyzeCompound(algebra: Algebra.Operation): CompoundAnalysis {\n    // 从 project -> slice -> ... 找到实际的查询结构\n    let current = algebra;\n    while (current.type === 'project' || current.type === 'slice' || \n           current.type === 'distinct' || current.type === 'reduced' ||\n           current.type === 'filter') {\n      current = (current as any).input;\n    }\n\n    // 检查是否是 BGP 或 JOIN\n    let patterns: Algebra.Pattern[] = [];\n\n    if (current.type === 'bgp') {\n      const bgp = current as Algebra.Bgp;\n      patterns = bgp.patterns as Algebra.Pattern[];\n    } else if (current.type === 'join') {\n      const join = current as Algebra.Join;\n      patterns = this.extractPatternsFromJoin(join);\n    }\n\n    if (patterns.length < 2) {\n      return { canOptimize: false, reason: 'Need at least 2 patterns for compound query' };\n    }\n\n    // 检查所有 pattern 是否共享同一个 subject 变量\n    const subjectVars = patterns.map(p => \n      p.subject?.termType === 'Variable' ? p.subject.value : null\n    );\n    const uniqueSubjectVars = [...new Set(subjectVars.filter(v => v !== null))];\n\n    if (uniqueSubjectVars.length !== 1) {\n      return { canOptimize: false, reason: 'Patterns do not share the same subject variable' };\n    }\n\n    return {\n      canOptimize: true,\n      patterns,\n      joinVar: uniqueSubjectVars[0]!,\n      joinField: 'subject',\n    };\n  }\n\n  // ============================================================\n  // 辅助方法\n  // ============================================================\n\n  /**\n   * 从核心操作提取 subject 变量\n   */\n  private extractSubjectVariable(op: Algebra.Operation): string | null {\n    if (op.type === 'pattern') {\n      const pattern = op as Algebra.Pattern;\n      if (pattern.subject?.termType === 'Variable') {\n        return pattern.subject.value;\n      }\n    } else if (op.type === 'bgp') {\n      const bgp = op as Algebra.Bgp;\n      if (bgp.patterns.length > 0) {\n        const firstPattern = bgp.patterns[0] as Algebra.Pattern;\n        if (firstPattern.subject?.termType === 'Variable') {\n          return firstPattern.subject.value;\n        }\n      }\n    } else if (op.type === 'filter') {\n      return this.extractSubjectVariable((op as Algebra.Filter).input);\n    } else if (op.type === 'join') {\n      const join = op as Algebra.Join;\n      if (join.input && join.input.length > 0) {\n        return this.extractSubjectVariable(join.input[0]);\n      }\n    }\n    return null;\n  }\n\n  /**\n   * 从 OPTIONAL 的右操作数提取简单 pattern 信息\n   */\n  private extractSimplePattern(op: Algebra.Operation): {\n    subjectVar: string;\n    predicate: string | null;\n    objectVar: string | null;\n  } | null {\n    if (op.type === 'pattern') {\n      const pattern = op as Algebra.Pattern;\n      if (pattern.subject?.termType !== 'Variable') {\n        return null;\n      }\n      return {\n        subjectVar: pattern.subject.value,\n        predicate: pattern.predicate?.termType === 'NamedNode' ? pattern.predicate.value : null,\n        objectVar: pattern.object?.termType === 'Variable' ? pattern.object.value : null,\n      };\n    } else if (op.type === 'bgp') {\n      const bgp = op as Algebra.Bgp;\n      if (bgp.patterns.length === 1) {\n        return this.extractSimplePattern(bgp.patterns[0] as Algebra.Operation);\n      }\n    }\n    return null;\n  }\n\n  /**\n   * 从 JOIN 操作提取所有 patterns\n   */\n  private extractPatternsFromJoin(join: Algebra.Join): Algebra.Pattern[] {\n    const patterns: Algebra.Pattern[] = [];\n    \n    for (const input of join.input) {\n      if (input.type === 'pattern') {\n        patterns.push(input as Algebra.Pattern);\n      } else if (input.type === 'bgp') {\n        patterns.push(...(input as Algebra.Bgp).patterns as Algebra.Pattern[]);\n      } else if (input.type === 'join') {\n        patterns.push(...this.extractPatternsFromJoin(input as Algebra.Join));\n      }\n    }\n\n    return patterns;\n  }\n\n  /**\n   * 组装 OPTIONAL 优化结果\n   */\n  private assembleOptionalResults(\n    coreBindings: Bindings[],\n    attributeMap: AttributeMap,\n    subjectVar: string,\n    optionalVars: Map<string, string>\n  ): Bindings[] {\n    const results: Bindings[] = [];\n    \n    for (const coreBinding of coreBindings) {\n      const subjectTerm = coreBinding.get(dataFactory.variable(subjectVar));\n      if (!subjectTerm || subjectTerm.termType !== 'NamedNode') {\n        results.push(coreBinding);\n        continue;\n      }\n\n      const subjectAttrs = attributeMap.get(subjectTerm.value);\n      \n      // 创建包含所有 OPTIONAL 变量的新 binding\n      const entries: [Variable, Term][] = [];\n      \n      // 复制核心 binding 的所有变量\n      for (const v of coreBinding.keys()) {\n        const term = coreBinding.get(v);\n        if (term) {\n          entries.push([v as Variable, term]);\n        }\n      }\n\n      // 添加 OPTIONAL 变量\n      for (const [predicate, varName] of optionalVars) {\n        const values = subjectAttrs?.get(predicate);\n        if (values && values.length > 0) {\n          entries.push([dataFactory.variable(varName), values[0]]);\n        }\n      }\n\n      results.push(this.bindingsFactory.bindings(entries));\n    }\n\n    return results;\n  }\n}\n"]}

package/dist/storage/sparql/QuintEngine.d.ts

@@ -0,0 +1,92 @@
+/**
+ * QuintEngine - Configurable SPARQL engine backed by QuintStore
+ *
+ * Store type (SQLite/PostgreSQL) determined by endpoint scheme.
+ *
+ * Usage:
+ * ```json
+ * {
+ *   "@type": "QuintEngine",
+ *   "endpoint": "postgresql://user:pass@localhost/db"
+ * }
+ * ```
+ */
+import type { Bindings, ResultStream } from '@rdfjs/types';
+import type { Quad } from '@rdfjs/types';
+import type { QuintStore } from '../quint/types';
+import { ComunicaQuintEngine, type QueryContext } from './ComunicaQuintEngine';
+export interface QuintEngineArgs {
+    /**
+     * Connection string with scheme prefix:
+     * - SQLite: 'sqlite:/path/to/db' or 'sqlite::memory:'
+     * - PostgreSQL: 'postgresql://user:pass@host/db' or 'postgres://...'
+     */
+    endpoint: string;
+    /**
+     * Enable debug logging
+     */
+    debug?: boolean;
+}
+/**
+ * QuintEngine - Injectable SPARQL engine with configurable backend
+ *
+ * This class provides a unified interface for SPARQL queries backed by
+ * either SQLite or PostgreSQL QuintStore implementations.
+ */
+export declare class QuintEngine {
+    private readonly store;
+    private readonly engine;
+    private readonly storeType;
+    private isOpen;
+    constructor(args: QuintEngineArgs);
+    /**
+     * Parse endpoint string to extract store type and connection string
+     *
+     * Formats:
+     * - sqlite:/path/to/db -> SQLite with file path
+     * - sqlite::memory: -> SQLite in-memory
+     * - postgresql://user:pass@host/db -> PostgreSQL
+     * - postgres://user:pass@host/db -> PostgreSQL (alias)
+     */
+    private parseEndpoint;
+    /**
+     * Open the underlying store connection
+     */
+    open(): Promise<void>;
+    /**
+     * Close the store connection
+     */
+    close(): Promise<void>;
+    /**
+     * Ensure store is open, auto-open if needed
+     */
+    private ensureOpen;
+    /**
+     * Execute SELECT query
+     */
+    queryBindings(query: string, context?: QueryContext): Promise<ResultStream<Bindings>>;
+    /**
+     * Execute ASK query
+     */
+    queryBoolean(query: string, context?: QueryContext): Promise<boolean>;
+    /**
+     * Execute CONSTRUCT/DESCRIBE query
+     */
+    queryQuads(query: string, context?: QueryContext): Promise<ResultStream<Quad>>;
+    /**
+     * Execute UPDATE query (INSERT/DELETE)
+     */
+    queryVoid(query: string, context?: QueryContext): Promise<void>;
+    /**
+     * Get the underlying QuintStore for direct operations
+     */
+    getStore(): QuintStore;
+    /**
+     * Get the underlying ComunicaQuintEngine
+     */
+    getEngine(): ComunicaQuintEngine;
+    /**
+     * Get the store type
+     */
+    getStoreType(): 'sqlite' | 'postgresql';
+}

package/dist/storage/sparql/QuintEngine.js

@@ -0,0 +1,150 @@
+"use strict";
+/**
+ * QuintEngine - Configurable SPARQL engine backed by QuintStore
+ *
+ * Store type (SQLite/PostgreSQL) determined by endpoint scheme.
+ *
+ * Usage:
+ * ```json
+ * {
+ *   "@type": "QuintEngine",
+ *   "endpoint": "postgresql://user:pass@localhost/db"
+ * }
+ * ```
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.QuintEngine = void 0;
+const SqliteQuintStore_1 = require("../quint/SqliteQuintStore");
+const PgQuintStore_1 = require("../quint/PgQuintStore");
+const ComunicaQuintEngine_1 = require("./ComunicaQuintEngine");
+/**
+ * QuintEngine - Injectable SPARQL engine with configurable backend
+ *
+ * This class provides a unified interface for SPARQL queries backed by
+ * either SQLite or PostgreSQL QuintStore implementations.
+ */
+class QuintEngine {
+    constructor(args) {
+        this.isOpen = false;
+        const { storeType, connectionString } = this.parseEndpoint(args.endpoint);
+        this.storeType = storeType;
+        // Create appropriate store based on scheme
+        if (storeType === 'postgresql') {
+            this.store = new PgQuintStore_1.PgQuintStore({
+                connectionString,
+            });
+        }
+        else {
+            this.store = new SqliteQuintStore_1.SqliteQuintStore({
+                path: connectionString,
+            });
+        }
+        this.engine = new ComunicaQuintEngine_1.ComunicaQuintEngine(this.store, {
+            debug: args.debug,
+        });
+    }
+    /**
+     * Parse endpoint string to extract store type and connection string
+     *
+     * Formats:
+     * - sqlite:/path/to/db -> SQLite with file path
+     * - sqlite::memory: -> SQLite in-memory
+     * - postgresql://user:pass@host/db -> PostgreSQL
+     * - postgres://user:pass@host/db -> PostgreSQL (alias)
+     */
+    parseEndpoint(endpoint) {
+        if (endpoint.startsWith('sqlite:')) {
+            // sqlite:/path/to/db or sqlite::memory:
+            const path = endpoint.slice('sqlite:'.length);
+            return {
+                storeType: 'sqlite',
+                connectionString: path || ':memory:',
+            };
+        }
+        if (endpoint.startsWith('postgresql://') || endpoint.startsWith('postgres://')) {
+            return {
+                storeType: 'postgresql',
+                connectionString: endpoint,
+            };
+        }
+        // Default: treat as SQLite file path for backward compatibility
+        return {
+            storeType: 'sqlite',
+            connectionString: endpoint,
+        };
+    }
+    /**
+     * Open the underlying store connection
+     */
+    async open() {
+        if (!this.isOpen) {
+            await this.store.open();
+            this.isOpen = true;
+        }
+    }
+    /**
+     * Close the store connection
+     */
+    async close() {
+        if (this.isOpen) {
+            await this.store.close();
+            this.isOpen = false;
+        }
+    }
+    /**
+     * Ensure store is open, auto-open if needed
+     */
+    async ensureOpen() {
+        if (!this.isOpen) {
+            await this.open();
+        }
+    }
+    /**
+     * Execute SELECT query
+     */
+    async queryBindings(query, context) {
+        await this.ensureOpen();
+        return this.engine.queryBindings(query, context);
+    }
+    /**
+     * Execute ASK query
+     */
+    async queryBoolean(query, context) {
+        await this.ensureOpen();
+        return this.engine.queryBoolean(query, context);
+    }
+    /**
+     * Execute CONSTRUCT/DESCRIBE query
+     */
+    async queryQuads(query, context) {
+        await this.ensureOpen();
+        return this.engine.queryQuads(query, context);
+    }
+    /**
+     * Execute UPDATE query (INSERT/DELETE)
+     */
+    async queryVoid(query, context) {
+        await this.ensureOpen();
+        return this.engine.queryVoid(query, context);
+    }
+    /**
+     * Get the underlying QuintStore for direct operations
+     */
+    getStore() {
+        return this.store;
+    }
+    /**
+     * Get the underlying ComunicaQuintEngine
+     */
+    getEngine() {
+        return this.engine;
+    }
+    /**
+     * Get the store type
+     */
+    getStoreType() {
+        return this.storeType;
+    }
+}
+exports.QuintEngine = QuintEngine;
+//# sourceMappingURL=QuintEngine.js.map

package/dist/storage/sparql/QuintEngine.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"QuintEngine.js","sourceRoot":"","sources":["../../../src/storage/sparql/QuintEngine.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;GAYG;;;AAMH,gEAA6D;AAC7D,wDAAqD;AACrD,+DAA+E;AAgB/E;;;;;GAKG;AACH,MAAa,WAAW;IAMtB,YAAmB,IAAqB;QAFhC,WAAM,GAAG,KAAK,CAAC;QAGrB,MAAM,EAAE,SAAS,EAAE,gBAAgB,EAAE,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC1E,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;QAE3B,2CAA2C;QAC3C,IAAI,SAAS,KAAK,YAAY,EAAE,CAAC;YAC/B,IAAI,CAAC,KAAK,GAAG,IAAI,2BAAY,CAAC;gBAC5B,gBAAgB;aACjB,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,KAAK,GAAG,IAAI,mCAAgB,CAAC;gBAChC,IAAI,EAAE,gBAAgB;aACvB,CAAC,CAAC;QACL,CAAC;QAED,IAAI,CAAC,MAAM,GAAG,IAAI,yCAAmB,CAAC,IAAI,CAAC,KAAK,EAAE;YAChD,KAAK,EAAE,IAAI,CAAC,KAAK;SAClB,CAAC,CAAC;IACL,CAAC;IAED;;;;;;;;OAQG;IACK,aAAa,CAAC,QAAgB;QACpC,IAAI,QAAQ,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;YACnC,wCAAwC;YACxC,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;YAC9C,OAAO;gBACL,SAAS,EAAE,QAAQ;gBACnB,gBAAgB,EAAE,IAAI,IAAI,UAAU;aACrC,CAAC;QACJ,CAAC;QAED,IAAI,QAAQ,CAAC,UAAU,CAAC,eAAe,CAAC,IAAI,QAAQ,CAAC,UAAU,CAAC,aAAa,CAAC,EAAE,CAAC;YAC/E,OAAO;gBACL,SAAS,EAAE,YAAY;gBACvB,gBAAgB,EAAE,QAAQ;aAC3B,CAAC;QACJ,CAAC;QAED,gEAAgE;QAChE,OAAO;YACL,SAAS,EAAE,QAAQ;YACnB,gBAAgB,EAAE,QAAQ;SAC3B,CAAC;IACJ,CAAC;IAED;;OAEG;IACI,KAAK,CAAC,IAAI;QACf,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;YACjB,MAAM,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;YACxB,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC;QACrB,CAAC;IACH,CAAC;IAED;;OAEG;IACI,KAAK,CAAC,KAAK;QAChB,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAChB,MAAM,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;YACzB,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC;QACtB,CAAC;IACH,CAAC;IAED;;OAEG;IACK,KAAK,CAAC,UAAU;QACtB,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;YACjB,MAAM,IAAI,CAAC,IAAI,EAAE,CAAC;QACpB,CAAC;IACH,CAAC;IAED;;OAEG;IACI,KAAK,CAAC,aAAa,CAAC,KAAa,EAAE,OAAsB;QAC9D,MAAM,IAAI,CAAC,UAAU,EAAE,CAAC;QACxB,OAAO,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACnD,CAAC;IAED;;OAEG;IACI,KAAK,CAAC,YAAY,CAAC,KAAa,EAAE,OAAsB;QAC7D,MAAM,IAAI,CAAC,UAAU,EAAE,CAAC;QACxB,OAAO,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAClD,CAAC;IAED;;OAEG;IACI,KAAK,CAAC,UAAU,CAAC,KAAa,EAAE,OAAsB;QAC3D,MAAM,IAAI,CAAC,UAAU,EAAE,CAAC;QACxB,OAAO,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAChD,CAAC;IAED;;OAEG;IACI,KAAK,CAAC,SAAS,CAAC,KAAa,EAAE,OAAsB;QAC1D,MAAM,IAAI,CAAC,UAAU,EAAE,CAAC;QACxB,OAAO,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC/C,CAAC;IAED;;OAEG;IACI,QAAQ;QACb,OAAO,IAAI,CAAC,KAAK,CAAC;IACpB,CAAC;IAED;;OAEG;IACI,SAAS;QACd,OAAO,IAAI,CAAC,MAAM,CAAC;IACrB,CAAC;IAED;;OAEG;IACI,YAAY;QACjB,OAAO,IAAI,CAAC,SAAS,CAAC;IACxB,CAAC;CACF;AA5ID,kCA4IC","sourcesContent":["/**\n * QuintEngine - Configurable SPARQL engine backed by QuintStore\n * \n * Store type (SQLite/PostgreSQL) determined by endpoint scheme.\n * \n * Usage:\n * ```json\n * {\n *   \"@type\": \"QuintEngine\",\n *   \"endpoint\": \"postgresql://user:pass@localhost/db\"\n * }\n * ```\n */\n\nimport type { Bindings, ResultStream } from '@rdfjs/types';\nimport type { Quad } from '@rdfjs/types';\n\nimport type { QuintStore } from '../quint/types';\nimport { SqliteQuintStore } from '../quint/SqliteQuintStore';\nimport { PgQuintStore } from '../quint/PgQuintStore';\nimport { ComunicaQuintEngine, type QueryContext } from './ComunicaQuintEngine';\n\nexport interface QuintEngineArgs {\n  /**\n   * Connection string with scheme prefix:\n   * - SQLite: 'sqlite:/path/to/db' or 'sqlite::memory:'\n   * - PostgreSQL: 'postgresql://user:pass@host/db' or 'postgres://...'\n   */\n  endpoint: string;\n  \n  /**\n   * Enable debug logging\n   */\n  debug?: boolean;\n}\n\n/**\n * QuintEngine - Injectable SPARQL engine with configurable backend\n * \n * This class provides a unified interface for SPARQL queries backed by\n * either SQLite or PostgreSQL QuintStore implementations.\n */\nexport class QuintEngine {\n  private readonly store: QuintStore;\n  private readonly engine: ComunicaQuintEngine;\n  private readonly storeType: 'sqlite' | 'postgresql';\n  private isOpen = false;\n\n  public constructor(args: QuintEngineArgs) {\n    const { storeType, connectionString } = this.parseEndpoint(args.endpoint);\n    this.storeType = storeType;\n    \n    // Create appropriate store based on scheme\n    if (storeType === 'postgresql') {\n      this.store = new PgQuintStore({\n        connectionString,\n      });\n    } else {\n      this.store = new SqliteQuintStore({\n        path: connectionString,\n      });\n    }\n    \n    this.engine = new ComunicaQuintEngine(this.store, {\n      debug: args.debug,\n    });\n  }\n\n  /**\n   * Parse endpoint string to extract store type and connection string\n   * \n   * Formats:\n   * - sqlite:/path/to/db -> SQLite with file path\n   * - sqlite::memory: -> SQLite in-memory\n   * - postgresql://user:pass@host/db -> PostgreSQL\n   * - postgres://user:pass@host/db -> PostgreSQL (alias)\n   */\n  private parseEndpoint(endpoint: string): { storeType: 'sqlite' | 'postgresql'; connectionString: string } {\n    if (endpoint.startsWith('sqlite:')) {\n      // sqlite:/path/to/db or sqlite::memory:\n      const path = endpoint.slice('sqlite:'.length);\n      return { \n        storeType: 'sqlite', \n        connectionString: path || ':memory:',\n      };\n    }\n    \n    if (endpoint.startsWith('postgresql://') || endpoint.startsWith('postgres://')) {\n      return { \n        storeType: 'postgresql', \n        connectionString: endpoint,\n      };\n    }\n    \n    // Default: treat as SQLite file path for backward compatibility\n    return { \n      storeType: 'sqlite', \n      connectionString: endpoint,\n    };\n  }\n\n  /**\n   * Open the underlying store connection\n   */\n  public async open(): Promise<void> {\n    if (!this.isOpen) {\n      await this.store.open();\n      this.isOpen = true;\n    }\n  }\n\n  /**\n   * Close the store connection\n   */\n  public async close(): Promise<void> {\n    if (this.isOpen) {\n      await this.store.close();\n      this.isOpen = false;\n    }\n  }\n\n  /**\n   * Ensure store is open, auto-open if needed\n   */\n  private async ensureOpen(): Promise<void> {\n    if (!this.isOpen) {\n      await this.open();\n    }\n  }\n\n  /**\n   * Execute SELECT query\n   */\n  public async queryBindings(query: string, context?: QueryContext): Promise<ResultStream<Bindings>> {\n    await this.ensureOpen();\n    return this.engine.queryBindings(query, context);\n  }\n\n  /**\n   * Execute ASK query\n   */\n  public async queryBoolean(query: string, context?: QueryContext): Promise<boolean> {\n    await this.ensureOpen();\n    return this.engine.queryBoolean(query, context);\n  }\n\n  /**\n   * Execute CONSTRUCT/DESCRIBE query\n   */\n  public async queryQuads(query: string, context?: QueryContext): Promise<ResultStream<Quad>> {\n    await this.ensureOpen();\n    return this.engine.queryQuads(query, context);\n  }\n\n  /**\n   * Execute UPDATE query (INSERT/DELETE)\n   */\n  public async queryVoid(query: string, context?: QueryContext): Promise<void> {\n    await this.ensureOpen();\n    return this.engine.queryVoid(query, context);\n  }\n\n  /**\n   * Get the underlying QuintStore for direct operations\n   */\n  public getStore(): QuintStore {\n    return this.store;\n  }\n\n  /**\n   * Get the underlying ComunicaQuintEngine\n   */\n  public getEngine(): ComunicaQuintEngine {\n    return this.engine;\n  }\n\n  /**\n   * Get the store type\n   */\n  public getStoreType(): 'sqlite' | 'postgresql' {\n    return this.storeType;\n  }\n}\n"]}

package/dist/storage/sparql/QuintQuerySource.d.ts

@@ -0,0 +1,227 @@
+/**
+ * QuintQuerySource - IQuerySource implementation for QuintStore
+ *
+ * This implements Comunica's IQuerySource interface to enable proper FILTER pushdown.
+ * Unlike RDF.Store.match() which only receives 4 terms, IQuerySource.queryBindings()
+ * receives the full SPARQL algebra including FILTER expressions.
+ *
+ * Design:
+ * - Delegates filter extraction to FilterPushdownExtractor
+ * - Delegates pattern building to PatternBuilder
+ * - Delegates in-memory evaluation to ExpressionEvaluator
+ * - Coordinates these components to execute queries efficiently
+ */
+import type { Quad, Variable, Bindings } from '@rdfjs/types';
+import type { AsyncIterator } from 'asynciterator';
+import { Algebra } from 'sparqlalgebrajs';
+import type { QuintStore, TermName } from '../quint/types';
+import type { SecurityFilters } from './ComunicaQuintEngine';
+export interface IActionContext {
+    get<V>(key: {
+        name: string;
+    }): V | undefined;
+    getSafe<V>(key: {
+        name: string;
+    }): V;
+    has(key: {
+        name: string;
+    }): boolean;
+}
+export interface FragmentSelectorShape {
+    type: 'operation' | 'conjunction' | 'disjunction' | 'negation' | 'arity';
+    operation?: {
+        operationType: 'type' | 'pattern' | 'wildcard';
+        type?: string;
+        pattern?: Algebra.Operation;
+    };
+    children?: FragmentSelectorShape[];
+    child?: FragmentSelectorShape;
+    variablesOptional?: Variable[];
+    joinBindings?: true;
+    filterBindings?: true;
+    min?: number;
+    max?: number;
+}
+export interface BindingsStream extends AsyncIterator<Bindings> {
+}
+export interface IQueryBindingsOptions {
+    joinBindings?: {
+        bindings: BindingsStream;
+        metadata: unknown;
+    };
+    filterBindings?: {
+        bindings: BindingsStream;
+        metadata: unknown;
+    };
+}
+export interface MetadataValidationState {
+}
+/**
+ * IQuerySource interface compatible with Comunica
+ */
+export interface IQuerySource {
+    referenceValue: unknown;
+    getSelectorShape(context: IActionContext): Promise<FragmentSelectorShape>;
+    queryBindings(operation: Algebra.Operation, context: IActionContext, options?: IQueryBindingsOptions): BindingsStream;
+    queryQuads(operation: Algebra.Operation, context: IActionContext): AsyncIterator<Quad>;
+    queryBoolean(operation: Algebra.Ask, context: IActionContext): Promise<boolean>;
+    queryVoid(operation: Algebra.Update, context: IActionContext): Promise<void>;
+    toString(): string;
+}
+interface OptimizeParams {
+    limit?: number;
+    offset?: number;
+    order?: TermName[];
+    /** 原始 ORDER BY 变量名，用于分析绑定位置 */
+    orderVarName?: string;
+    reverse?: boolean;
+}
+/**
+ * QuintQuerySource implements IQuerySource for QuintStore
+ *
+ * Key features:
+ * 1. Declares support for FILTER operations via getSelectorShape()
+ * 2. Receives full SPARQL algebra in queryBindings() including FILTERs
+ * 3. Extracts filter conditions and pushes them down to QuintStore
+ * 4. Applies security filters (ACL) unconditionally
+ * 5. Tree-based evaluation for remaining non-pushdownable expressions
+ */
+export declare class QuintQuerySource implements IQuerySource {
+    readonly referenceValue: unknown;
+    private readonly store;
+    private readonly debug;
+    private readonly bindingsFactory;
+    private readonly getSecurityFilters;
+    private readonly getOptimizeParams;
+    private readonly getFilterExpression;
+    private readonly filterExtractor;
+    private readonly patternBuilder;
+    private readonly expressionEvaluator;
+    constructor(store: QuintStore, options: {
+        debug?: boolean;
+        bindingsFactory: any;
+        getSecurityFilters: () => SecurityFilters | undefined;
+        getOptimizeParams: () => OptimizeParams | null;
+        getFilterExpression?: (varName: string) => Algebra.Expression | undefined;
+    });
+    /**
+     * Declare the operations this source supports
+     *
+     * We support:
+     * - Basic quad patterns (for simple queries)
+     * - FILTER operations (for filter pushdown)
+     * - BGP operations (for multi-pattern queries)
+     * - joinBindings: allows Comunica to push JOIN operations down to us
+     *
+     * The joinBindings support enables ActorRdfJoinMultiBindSource to push
+     * multiple patterns to us efficiently, using SQL JOINs instead of
+     * Comunica's nested loop approach.
+     */
+    getSelectorShape(_context: IActionContext): Promise<FragmentSelectorShape>;
+    /**
+     * Query bindings - main entry point for SPARQL queries
+     *
+     * When Comunica's ActorRdfJoinMultiBindSource selects us for a join operation,
+     * it passes options.joinBindings containing bindings from the first pattern.
+     * We need to use these bindings to filter our query results efficiently.
+     */
+    queryBindings(operation: Algebra.Operation, _context: IActionContext, options?: IQueryBindingsOptions): BindingsStream;
+    /**
+     * Execute query and return bindings
+     *
+     * If options.joinBindings is provided, we need to:
+     * 1. Collect bindings from the stream (these are from the first pattern in the JOIN)
+     * 2. Extract variable values that overlap with our patterns
+     * 3. Use those values as IN conditions in our query
+     * 4. JOIN the results with the incoming bindings
+     */
+    private executeQuery;
+    /**
+     * Execute a bind join: use incoming bindings to filter our query
+     *
+     * This is called when Comunica's ActorRdfJoinMultiBindSource pushes bindings to us.
+     * We use SQL IN clause to efficiently query only the rows matching the incoming bindings.
+     */
+    private executeBindJoin;
+    /**
+     * Execute bind join for a single pattern using IN filter
+     */
+    private executeBindJoinSimple;
+    /**
+     * Execute bind join for multiple patterns using compound query
+     */
+    private executeBindJoinCompound;
+    /**
+     * Hash join two binding sets on a common variable
+     */
+    private hashJoin;
+    /**
+     * Merge two bindings, returning null if they conflict
+     */
+    private mergeBindings;
+    /**
+     * Cartesian product of two binding sets
+     */
+    private cartesianJoin;
+    /**
+     * Execute OR branches with union semantics
+     */
+    private executeOrBranches;
+    /**
+     * Try to execute a compound query for multiple patterns joined by same subject
+     * Returns null if compound query is not applicable
+     */
+    private tryCompoundQuery;
+    /**
+     * Distribute filter conditions to their respective patterns
+     * Returns a map of pattern index -> PushdownFilters
+     */
+    private distributeFiltersToPatterns;
+    /**
+     * Build SELECT clause config for patterns
+     */
+    private buildSelectForPatterns;
+    /**
+     * Convert CompoundResult array to Bindings array
+     */
+    private compoundResultsToBindings;
+    /**
+     * Deserialize a value from storage format to RDF Term
+     * Uses the same deserialization logic as QuintStore
+     */
+    private deserializeValue;
+    /**
+     * Convert quads to bindings based on pattern variables
+     */
+    private quadsToBindings;
+    /**
+     * Get the term from quad that matches the variable position in pattern
+     */
+    private getTermForVariable;
+    /**
+     * Extract BGP pattern and filter from operation
+     * Returns either a single pattern or multiple patterns (from BGP or JOIN)
+     */
+    extractPatternAndFilter(operation: Algebra.Operation): {
+        pattern: Algebra.Pattern;
+        patterns?: Algebra.Pattern[];
+        filter: Algebra.Expression | null;
+    };
+    /**
+     * Get variables from operation
+     */
+    private getVariablesFromOperation;
+    queryQuads(operation: Algebra.Operation, _context: IActionContext): AsyncIterator<Quad>;
+    queryBoolean(operation: Algebra.Ask, _context: IActionContext): Promise<boolean>;
+    queryVoid(_operation: Algebra.Update, _context: IActionContext): Promise<void>;
+    /**
+     * 在 pattern 中查找变量绑定到哪个位置
+     *
+     * 例如：{ ?s <http://schema.org/name> ?name }
+     * - ?s 绑定到 subject
+     * - ?name 绑定到 object
+     */
+    private findVariableBinding;
+    toString(): string;
+}
+export {};