Het AtScale-alternatief waarin de agent nooit SQL schrijft
SynaLemma beantwoordt vragen over uw bedrijfsdata met regels die bewezen worden voordat ze draaien en daarna naar SQL worden gecompileerd. De agent schrijft nooit SQL, en dezelfde vraag geeft altijd dezelfde SQL.
SynaLemma vs AtScale: de belangrijkste verschillen
-
De agent schrijft nooit SQL
De agent schrijft regels, geen SQL. De engine controleert elke regel en schrijft daarna SQL die alleen uw tabellen leest: geen ruwe SQL en geen injectie, formeel bewezen.
-
Elke regel bewezen voordat hij draait
Een symbolische verifier bewijst dat elke regel welgevormd en veilig is en eindigt. Een ongeldige regel wordt geweigerd, met de reden, voordat er SQL draait.
-
Asserties die de foute rijen aanwijzen
Sleutels, verwijzingen, totalen of transitiviteit worden in eerste-orde logica geschreven. De engine doorzoekt de hele tabel en geeft de rijen terug die ze schenden.
-
Graafvragen op uw SQL-databases
Hiërarchieën, stuklijsten en toeleveringsketens zijn recursieve regels, met geverifieerde beëindiging, naar SQL gecompileerd op PostgreSQL, BigQuery, Databricks, Trino, Presto, DuckDB en SQLite. Geen grafendatabase, geen migratie.
-
Zelfde vraag, zelfde SQL
Dezelfde vraag compileert altijd naar dezelfde SQL, en elk cijfer verwijst naar de regel waar het vandaan komt. Uw team kan die regel lezen, corrigeren of vergrendelen.
-
Soeverein door ontwerp, niet door contract
Data, regels en model blijven op uw infrastructuur. De engine compileert de SQL, dus een klein open model volstaat, zonder kosten per token. De Synalog-engine is open source, onder Apache-2.0.
Voorbeeld: een recursieve query met asserties
Een stuklijst op elke diepte, met twee asserties. De data bevat een cyclus; de engine meldt die voordat er een antwoord wordt gegeven.
# De stuklijst, gelezen uit de database.
Component(assembly:, part:, quantity:) :- bom(assembly:, part:, quantity:);
# Een onderdeel zit rechtstreeks in een samenstelling, of in een van haar onderdelen.
@Recursive(Contains, 20);
@Assert(Contains,
transitive: "∀ a b c, Contains a b → Contains b c → Contains a c",
no_cycle: "∀ a, ¬ Contains a a");
Contains(assembly:, part:) distinct :- Component(assembly:, part:);
Contains(assembly:, part:) distinct :-
Contains(assembly:, part: sub),
Component(assembly: sub, part:);SynaLemma vs AtScale in één oogopslag
| Criterium | SynaLemma | AtScale |
|---|---|---|
| Hoe een agent antwoordt | Schrijft een regel; de engine bewijst die en compileert de SQL | De agent schrijft een SQL SELECT en stuurt die naar de MCP-server |
| Wat de definities controleert | Elke regel bewezen welgevormd, veilig en eindigend, voordat hij draait | Syntaxisvalidatie van SML en de modelvalidator van Design Center |
| Controles op de data | Asserties in eerste-orde logica die de rijen teruggeven die ze schenden | Ingebouwde controles op sleutels en hiërarchieën; geen door de gebruiker geschreven asserties |
| Hiërarchieën en ketens over meerdere stappen | Native recursie op elke diepte, met geverifieerde beëindiging | Hiërarchieën op basis van niveaus; geen ouder-kind in de SML-referentie |
| Definities geschreven in | Synalog, een open-source logische taal met een compiler | SML, een YAML-formaat, of de editor Design Center |
| Joins | Elke join die de regel vastlegt, zo ver als de vraag vereist | Feitendatasets naar dimensies; veel-op-veel via een koppeltabel |
| Taalmodel | Het model dat u kiest: een klein open model volstaat, zonder kosten per token | Het model van de client, zoals ChatGPT, Claude of Gemini |
| Implementatie | On-premises, op uw infrastructuur | Uw infrastructuur: Kubernetes met Helm, of een Linux-installatieprogramma |
Waarom teams een AtScale-alternatief zoeken
-
SQL geschreven door de agent
De MCP-tool run_query valideert en voert een SELECT uit die de agent op basis van de vraag schrijft (MCP-tools).
-
Hiërarchieën op basis van niveaus
SML-hiërarchieën zijn vaste niveaus, elk een onderverdeling van het niveau erboven; recursieve ouder-kindketens staan niet in de referentie (SML-dimensies).
-
Validatie, geen bewijs
De SML CLI controleert de syntaxis en de modelvalidator controleert sleutels en hiërarchieën; er zijn geen door de gebruiker geschreven asserties op de data gedocumenteerd (SML).
AtScale-alternatief: veelgestelde vragen
Wat is het beste AtScale-alternatief voor AI-agents?
SynaLemma. De agent schrijft regels in plaats van SQL, elke regel wordt bewezen voordat hij draait, asserties wijzen de foute rijen aan en recursie is native. Een klein open model op uw eigen hardware volstaat.
Ondersteunt AtScale recursieve hiërarchieën?
De SML-referentie beschrijft alleen hiërarchieën op basis van niveaus. In Synalog is recursie native: een organogram of een stuklijst wordt tot op elke diepte gevolgd, en de beëindiging wordt geverifieerd.
Wie schrijft de SQL wanneer een agent AtScale bevraagt?
De agent. Die schrijft een SQL SELECT op het semantische model en stuurt die naar de tool run_query. In SynaLemma schrijft de agent een regel die wordt geverifieerd en daarna door de engine naar SQL wordt gecompileerd.
Kan SynaLemma draaien met een lokaal model?
Ja. Een klein open model op uw eigen hardware volstaat, omdat de engine de SQL compileert.
Bronnen
- SML op GitHub
- SML-referentie: dimensies
- SML-referentie: modellen
- Documentatie van AtScale: referentie van de MCP-tools
- Documentatie van AtScale: ondersteunde AI-toepassingen
- Documentatie van AtScale: installatie op Kubernetes
- Synalog op GitHub (Apache-2.0)
Gecontroleerd aan de hand van de openbare documentatie van elk product op de herzieningsdatum. Een fout melden: contact@synalinks.com.
Andere vergelijkingen
Neem een vraag mee die uw huidige stack niet kan beantwoorden.
In 30 minuten laten wij zien hoe SynaLemma die beantwoordt, met de regel achter het getal en de controles die het doorstond.